208 search results - page 33 / 42 » Highly dependable concurrent programming using design for ve... |
159
Voted
HPCA
2011
IEEE
14 years 6 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...
134
click to vote
MAGS
2008
15 years 2 months 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...
167
Voted
CONCUR
1998
Springer
15 years 7 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...
136
Voted
KBSE
2010
IEEE
15 years 1 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...
147
Voted
ACMACE
2006
ACM
15 years 8 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...