1878 search results - page 170 / 376 » The Vienna Abstract Machine |
114
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
134
click to vote
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
116
click to vote
HPDC
1993
IEEE
15 years 8 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
134
Voted
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
161
click to vote
ASWC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...