101 search results - page 16 / 21 » Model Checking of Linearizability of Concurrent List Impleme... |
88
Voted
ENTCS
2010
14 years 11 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
119
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
198
Voted
POPL
2003
ACM
15 years 12 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
100
click to vote
JSW
2007
14 years 11 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...