115 search results - page 3 / 23 » How to Drive a B Machine |
B
1998
Springer
13 years 11 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
HPCN
1998
Springer
13 years 11 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
BLISS
2007
IEEE
14 years 1 months ago
2007
IEEE
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
HPDC
2012
IEEE
11 years 9 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
Low-latency anonymity systems such as Tor, AN.ON, Crowds, and Anonymizer.com aim to provide anonymous connections that are both untraceable by “local” adversaries who control ...