1206 search results - page 163 / 242 » Concurrent Abstract Predicates |
129
click to vote
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
102
click to vote
WOTUG
2008
15 years 2 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
111
Voted
WOTUG
2008
15 years 2 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
103
click to vote
VVEIS
2007
15 years 1 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
113
Voted
ISCA
2008
IEEE
15 years 18 days ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...