Sciweavers

1552 search results - page 149 / 311
» A Polymorphic Hardware Platform
Sort
View
ICCD
2002
IEEE
122views Hardware» more  ICCD 2002»
16 years 3 months ago
Using Offline and Online BIST to Improve System Dependability - The TTPC-C Example
Fault-tolerant distributed real-time systems are presently facing a lot of new challenges. Although many techniques provide effective masking of node failures on the architectural...
Andreas Steininger, Johann Vilanek
ICCAD
2006
IEEE
100views Hardware» more  ICCAD 2006»
16 years 3 months ago
Faster, parametric trajectory-based macromodels via localized linear reductions
— Trajectory-based methods offer an attractive methodology for automated, on-demand generation of macromodels for custom circuits. These models are generated by sampling the stat...
Saurabh K. Tiwary, Rob A. Rutenbar
ICCAD
2004
IEEE
124views Hardware» more  ICCAD 2004»
16 years 3 months ago
Architectural-level synthesis of digital microfluidics-based biochips
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
Fei Su, Krishnendu Chakrabarty
ICCAD
2004
IEEE
64views Hardware» more  ICCAD 2004»
16 years 3 months ago
Simultaneous design and placement of multiplexed chemical processing systems on microchips
Microchip structures represent an attractive platform for microscale chemical processing of fluidic systems. However, standardized design methods for these devices have not yet b...
Anton J. Pfeiffer, Tamal Mukherjee, Steinar Hauan
ECBS
2010
IEEE
224views Hardware» more  ECBS 2010»
16 years 29 days ago
Timed Automata Model for Component-Based Real-Time Systems
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
Georgiana Macariu, Vladimir Cretu