Sciweavers

208 search results - page 22 / 42
» New Directions in Debugging Hardware Designs
Sort
View
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
14 years 15 days ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
ICCAD
1998
IEEE
143views Hardware» more  ICCAD 1998»
14 years 27 days ago
Real-time operating systems for embedded computing
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
Serge Hustin, Miodrag Potkonjak, Eric Verhulst, Wa...
EH
2002
IEEE
113views Hardware» more  EH 2002»
14 years 1 months ago
Evolution in materio: Looking Beyond the Silicon Box
It is argued that natural evolution is, par excellence, an algorithm that exploits the physical properties of materials. Such an exploitation of the physical characteristics has a...
Julian F. Miller, Keith L. Downing
SIGCSE
2004
ACM
141views Education» more  SIGCSE 2004»
14 years 2 months ago
Running on the bare metal with GeekOS
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...
David Hovemeyer, Jeffrey K. Hollingsworth, Bobby B...
ICCD
2008
IEEE
159views Hardware» more  ICCD 2008»
14 years 5 months ago
Optimizing data sharing and address translation for the Cell BE Heterogeneous Chip Multiprocessor
— Heterogeneous Chip Multiprocessors (HMPs), such as the Cell Broadband Engine, offer a new design optimization opportunity by allowing designers to provide accelerators for appl...
Michael Gschwind