Sciweavers

601 search results - page 14 / 121
» Writing for the Year 2000
Sort
View
FMCAD
2000
Springer
15 years 3 months ago
Monitor-Based Formal Specification of PCI
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
Kanna Shimizu, David L. Dill, Alan J. Hu
JSA
2000
100views more  JSA 2000»
14 years 11 months ago
Stripped mirroring RAID architecture
Redundant arrays of independent disks (RAID) provide an ecient stable storage system for parallel access and fault tolerance. The most common fault tolerant RAID architecture is R...
Hai Jin, Kai Hwang
DATE
2010
IEEE
158views Hardware» more  DATE 2010»
15 years 4 months ago
Energy- and endurance-aware design of phase change memory caches
—Phase change memory (PCM) is one of the most promising technology among emerging non-volatile random access memory technologies. Implementing a cache memory using PCM provides m...
Yongsoo Joo, Dimin Niu, Xiangyu Dong, Guangyu Sun,...
TOOLS
2000
IEEE
15 years 4 months ago
An Understandable and Configurable Domain-Specific Framework for Industrial Automation Applications
ions is lower than the programmer‘s perceived cost of writing them from scratch. << [G. Booch, 1994] Central Question: How can we decrease the effort of building framework-...
Stjepan Dujmovic
BIRTHDAY
2000
Springer
15 years 4 months ago
Compiler Construction - The Art of Niklaus Wirth
Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient an...
Hanspeter Mössenböck