1271 search results - page 62 / 255 » On Simulation-Checking with Sequential Systems |
ICLP
1993
Springer
15 years 1 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
SC
1992
ACM
15 years 1 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
WSC
2008
15 years 4 days ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
DBSEC
2008
14 years 11 months ago
2008
Abstract. The need for secure logging is well-understood by the security professionals, including both researchers and practitioners. The ability to efficiently verify all (or some...
SODA
2008
ACM
14 years 11 months ago
2008
ACM
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...