1642 search results - page 299 / 329 » SPINning Parallel Systems Software |
ICPADS
1998
IEEE
13 years 12 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...
EUROCAST
1997
Springer
13 years 12 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
PDIS
1994
IEEE
13 years 11 months ago
1994
IEEE
Constructing scalable high-performance applications on commodity hardware running the Unix operating system is a problem that must be addressed in several application domains. We ...
IFIPTCS
2000
13 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
DEBS
2010
ACM
13 years 10 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...