368 search results - page 61 / 74 » b 1998 |
ENTCS
1998
13 years 7 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
CCR
1999
13 years 7 months ago
1999
The ability to rapidly create and deploy new transport, control and management architectures in response to new service demands is a key factor driving the programmable networking...
TODAES
1998
13 years 7 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
DATE
2011
IEEE
12 years 11 months ago
2011
IEEE
In order to meet performance/low energy/integration requirements, parallel architectures (multithreaded cores and multi-cores) are more and more considered in the design of embedd...
FTCS
1997
13 years 8 months ago
1997
This paper presents robust emulation of multi-writer/multi-reader registers in message-passing systems using dynamic quorum con gurations. In addition to processor and link failur...