2227 search results - page 129 / 446 » Reversibility and Models for Concurrency |
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
167
Voted
TAP
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
177
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
173
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
137
Voted
IWOMP
2010
Springer
15 years 8 months ago
2010
Springer
With the approaching of the many-core era, it becomes more and more difficult for a single OpenMP application to efficiently utilize all the available processor cores. On the other...