Sciweavers

ASPLOS
1992
ACM
13 years 12 months ago
Non-Volatile Memory for Fast, Reliable File Systems
Given the decreasing cost of non-volatile RAM (NVRAM), by the late 1990's it will be feasible for most workstations to include a megabyte or more of NVRAM, enabling the desig...
Mary Baker, Satoshi Asami, Etienne Deprit, John K....
ASPLOS
1992
ACM
13 years 12 months ago
High Speed Switch Scheduling for Local Area Networks
Current technology trends make it possible to build communication networks that can support high performance distributed computing. This paper describes issues in the design of a ...
Thomas E. Anderson, Susan S. Owicki, James B. Saxe...
IFIP
1993
Springer
13 years 12 months ago
Introduction and Overview
Bernard Levrat
IFIP
1993
Springer
13 years 12 months ago
Computer Science in Elementary and Secondary Schools
In this paper we examine the current computer science curriculum in elementary schools and identify its shortcomings. We then presents a new approach to teaching computer science ...
Viera K. Proulx
IFIP
1993
Springer
13 years 12 months ago
Automatic Synthesis of Fast Compact Asynchronous Control Circuits
Al Davis, Bill Coates, Ken Stevens
IFIP
1993
Springer
13 years 12 months ago
Self-Timed Architecture of a Reduced Instruction Set Computer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
Ilana David, Ran Ginosar, Michael Yoeli
IFIP
1993
Springer
13 years 12 months ago
What is a Deadlock?
Y. C. Tay
ICALP
1993
Springer
13 years 12 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen