5190 search results - page 476 / 1038 » Multithreaded Parallel Computer Model with Performance Evalu... |
207
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
214
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
182
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...
168
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Model-based control utilizes performance models of applications to choose performant system configurations for execution of applications. The performance models used in this resea...
186
click to vote
COORDINATION
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...