717 search results - page 42 / 144 » Concurrent Engineering |
126
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
107
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
127
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
ISPW
2006
IEEE
15 years 8 months ago
2006
IEEE
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
112
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Engineering design optimization using concurrent integrated experiment and simulation is a Dynamic Data Driven Application System (DDDAS) wherein remote experiment and simulation c...