1163 search results - page 189 / 233 » Concurrent Subspaces Analysis |
141
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
107
Voted
MICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
133
Voted
JTRES
2009
ACM
15 years 8 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
126
Voted
DSRT
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
138
Voted
FGR
1998
IEEE
15 years 8 months ago
1998
IEEE
Current approaches to automated analysis have focused on a small set of prototypic expressions (e.g., joy or anger). Prototypic expressions occur infrequently in everyday life, ho...