722 search results - page 97 / 145 » Organizational Abstractions for the Analysis and Design of M... |
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
SIGOPSE
1992
ACM
13 years 12 months ago
1992
ACM
Abstract-- This paper describes the design and implementation1 of IRIS: an intentional resource indicator service. IRIS springs from the concept that end-users should not be bogged...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...