750 search results - page 89 / 150 » Program Chair's Message |
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
CLUSTER
2002
IEEE
14 years 3 months ago
2002
IEEE
In modern clustering environments where the memory hierarchy has many layers (distributed memory, shared memory layer, cache, ¡ ¢ ), an important question is how to fully u...
ACSE
2000
ACM
14 years 2 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
ICDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...
AOSD
2007
ACM
14 years 2 months ago
2007
ACM
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...