Search Results for "cpu-z"

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users.

...The flexilibity to specifiy a large variety of docking configurations allows tailored protocols for diverse end applications. DockStream can also parallelize docking across CPU cores, increasing throughput. DockStream is integrated with the de novo design platform, REINVENT, allowing one to incorporate docking into the generative process, thus providing the agent with 3D structural information.

Editor sencillo de CSS, para facilitar a la hora de desarrollar paginas web, ofrece la posibilidad de mover un div especificado, redimensionarlo, cambiarle de color, y su z-index todo dinamicamente desde el explorador y ofreciendo información que posteriormente tendrás que escribir en tu CSS evitando así la sobrecarga de código que generan otros programas de diseño. Fácil, sencillo y rápido, la instalación es muy sencilla, explicada muy detalladamente en el readme.html

A design specification language based upon Z Notation and CSP.

This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.

AdaptiveCells J2EE generates test-beds for benchmarking J2EE performance. They consists of highly customizable EJB cells that can emulate CPU load, memory usage, memory leaks and exceptions. The behaviour of the cells is coordinated from a web front-end.