2607 search results - page 47 / 522 » On the Architecture of System Verification Environments |
117
click to vote
POPL
2010
ACM
15 years 11 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...
118
click to vote
CCECE
2006
IEEE
15 years 5 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 5 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 6 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...
101
click to vote
HPCA
2009
IEEE
16 years 2 months 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...