1350 search results - page 197 / 270 » Reasoning about Staged Computation |
GC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Is it possible to treat large scale distributed systems as physical systems? The importance of that question stems from the fact that the behavior of many P2P systems is ...
ICMI
2004
Springer
15 years 3 months ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
PODC
2003
ACM
15 years 3 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
PPOPP
2003
ACM
15 years 3 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
104
click to vote
EUROPAR
2003
Springer
15 years 3 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...