208 search results - page 33 / 42 » Highly dependable concurrent programming using design for ve... |
140
click to vote
HPCA
2011
IEEE
14 years 4 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
111
Voted
MAGS
2008
15 years 12 days ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
146
Voted
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
113
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
127
click to vote
ACMACE
2006
ACM
15 years 6 months ago
2006
ACM
Future digital entertainment services available to home users will share several characteristics: i) they will be deployed and delivered through the Internet, ii) a single media c...