Sciweavers

1636 search results - page 143 / 328
» InfoPad - An Experiment in System Level Design and Integrati...
Sort
View
DATE
2002
IEEE
166views Hardware» more  DATE 2002»
15 years 11 months ago
Event Model Interfaces for Heterogeneous System Analysis
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
Kai Richter, Rolf Ernst
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 26 days ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
ICES
2003
Springer
103views Hardware» more  ICES 2003»
15 years 11 months ago
Fault Tolerance via Endocrinologic Based Communication for Multiprocessor Systems
The communication mechanism used by the biological cells of higher animals is an integral part of an organisms ability to tolerate cell deficiency or loss. The massive redundancy ...
Andrew J. Greensted, Andrew M. Tyrrell
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 3 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
CSCW
2012
ACM
14 years 2 months ago
Social visualization and negotiation: effects of feedback configuration and status
We describe a social visualization system that monitors the vocal arousal levels of the participants in a simulated twoparty employment negotiation. In a 3x2 factorial experiment ...
Michael Nowak, Juho Kim, Nam Wook Kim, Clifford Na...