34181 search results - page 161 / 6837 » The Computer System GRAPHOGRAPH |
IPL
1998
14 years 9 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...
96
Voted
AIS
1999
Springer
14 years 9 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...
LICS
2009
IEEE
15 years 4 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...
ISAS
2005
Springer
15 years 3 months 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...
ICFP
2000
ACM
15 years 2 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...