21007 search results - page 3711 / 4202 » Mobile Parallel Computing |
190
click to vote
ICA3PP
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. Practical implementations of atomically consistent read/write memory service are important building blocks for higher level applications. This is especially true when dat...
240
click to vote
CONCUR
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
222
click to vote
CONCUR
2001
Springer
16 years 4 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
185
click to vote
EUROPAR
2001
Springer
16 years 3 days ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
193
click to vote
ICS
2001
Tsinghua U.
16 years 2 days ago
2001
Tsinghua U.
A large logical register file is important to allow effective compiler transformations or to provide a windowed space of registers to allow fast function calls. Unfortunately, a l...