Sciweavers

3922 search results - page 568 / 785
» The IA-64 Architecture at Work
Sort
View
VLDB
1993
ACM
102views Database» more  VLDB 1993»
15 years 10 months ago
Local Disk Caching for Client-Server Database Systems
Client disks ure a valuable resource that ure not adequately exploited by current client-server ciatabasesystems.In this papeG we propose the use of client disksfor caching databa...
Michael J. Franklin, Michael J. Carey, Miron Livny
ITS
1992
Springer
152views Multimedia» more  ITS 1992»
15 years 10 months ago
People Power: A Human-Computer Collaborative Learning System
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
Pierre Dillenbourg, John A. Self
APPT
2009
Springer
15 years 10 months ago
Dealing with Traffic-Area Trade-Off in Direct Coherence Protocols for Many-Core CMPs
Abstract. In many-core CMP architectures, the cache coherence protocol is a key component since it can add requirements of area and power consumption to the final design and, there...
Alberto Ros, Manuel E. Acacio, José M. Garc...
CASES
2007
ACM
15 years 10 months ago
Lightweight barrier-based parallelization support for non-cache-coherent MPSoC platforms
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
Andrea Marongiu, Luca Benini, Mahmut T. Kandemir
197
Voted
CCS
2009
ACM
15 years 10 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...