34202 search results - page 287 / 6841 » The Tera computer system |
167
click to vote
PERVASIVE
2006
Springer
15 years 7 months ago
2006
Springer
The rich interaction capabilities of public terminals can make them more convenient to use than small personal devices, such as smart phones. However, the use of public terminals t...
185
click to vote
IPL
1998
15 years 7 months ago
1998
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
187
click to vote
AIS
1999
Springer
15 years 7 months ago
1999
Springer
: How are social relations appearing in computers? How are social relations realised in a different kind of medium, in the hardware and software of computers? How are the organisin...
160
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
189
click to vote
ISAS
2005
Springer
16 years 25 days ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...