3436 search results - page 452 / 688 » Software Tools for Performance Modeling of Parallel Programs |
106
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
130
click to vote
LCTRTS
2010
Springer
15 years 3 days ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
134
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
222
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
Low-latency and high-throughput processing are key requirements of data stream management systems (DSMSs). Hence, multi-core processors that provide high aggregate processing capa...
153
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...