Sciweavers

4747 search results - page 602 / 950
» Shuffle Memory System
Sort
View
ACSD
2003
IEEE
103views Hardware» more  ACSD 2003»
16 years 4 days ago
Design Validation of ZCSP with SPIN
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou D...
CLUSTER
2003
IEEE
16 years 4 days ago
Towards Load Balancing Support for I/O-Intensive Parallel Jobs in a Cluster of Workstations
While previous CPU- or memory-centric load balancing schemes are capable of achieving the effective usage of global CPU and memory resources in a cluster system, the cluster exhib...
Xiao Qin, Hong Jiang, Yifeng Zhu, David R. Swanson
HICSS
2003
IEEE
141views Biometrics» more  HICSS 2003»
16 years 4 days ago
Developing a Value-Based Decision-Making Model for Inquiring Organizations
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...
Dianne Hall, Yi Guo, Robert A. Davis
163
Voted
SPAA
2003
ACM
16 years 2 days ago
Relaxing the problem-size bound for out-of-core columnsort
Previous implementations of out-of-core columnsort limit the problem size to N ≤ (M/P)3/2, where N is the number of records to sort, P is the number of processors, and M is the ...
Geeta Chaudhry, Elizabeth A. Hamon, Thomas H. Corm...
DSN
2002
IEEE
15 years 11 months ago
Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic
This paper examines the effect of technology scaling and microarchitectural trends on the rate of soft errors in CMOS memory and logic circuits. We describe and validate an end-to...
Premkishore Shivakumar, Michael Kistler, Stephen W...