10159 search results - page 651 / 2032 » System Design Validation Using Formal Models |
202
click to vote
WICSA
2004
15 years 8 months ago
2004
We present the work of establishing an integrated environment that facilitates architecture design, reconstruction, and maintenance in the entire life cycle of a software product ...
256
click to vote
DMSN
2009
ACM
16 years 1 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
208
click to vote
CHARME
2003
Springer
16 years 15 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
224
click to vote
WSC
1998
15 years 8 months ago
1998
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
183
click to vote
SIGOPS
2010
15 years 2 months ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...