10707 search results - page 224 / 2142 » Designing executable abstractions |
114
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...
122
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
135
Voted
ADBIS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
123
click to vote
HPCN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
151
Voted
ASPLOS
1992
ACM
15 years 7 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...