2607 search results - page 47 / 522 » On the Architecture of System Verification Environments |
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
108
click to vote
CCECE
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present the design and implementation of and interdisciplinary research project involving an intelligent agent-based framework for collaborative e-commerce appli...
ICRA
1995
IEEE
15 years 3 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
ITS
2010
Springer
15 years 4 months ago
2010
Springer
DynaLearn is an Interactive Learning Environment that facilitates a constructive approach to developing a conceptual understanding of how systems work. The software can be put in d...
HPCA
2009
IEEE
16 years 11 days ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...