252 search results - page 28 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
ECOOP
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. The information of execution frequencies of virtual call targets is valuable for program analyses and optimizations of object-oriented programs. However, to obtain this i...
ACSD
2003
IEEE
14 years 25 days ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
ICDCSW
2006
IEEE
14 years 1 months ago
2006
IEEE
An overlay network is formed on top of – and generally independently from – the underlying physical computer network, by the peers (nodes) of a P2P system. The dynamics of pee...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Autonomic computing is a paradigm that aims at reducing administrative overhead by providing autonomic managers to make applications self-managing. In order to better deal with ...