1874 search results - page 178 / 375 » Abstract Machine for LDL |
124
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
124
click to vote
ICPP
2003
IEEE
15 years 8 months ago
2003
IEEE
e some simple working environment abstractions that hide the configuration heterogeneity of the machines that compose the grid from the user. Second, we introduce Work Queue with R...
111
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...
130
Voted
VL
1998
IEEE
15 years 7 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...
112
click to vote
HPDC
1993
IEEE
15 years 7 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 ...