Sciweavers

1729 search results - page 20 / 346
» Deterministic Expressions in C
Sort
View
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 4 months ago
Near-optimal deterministic filtering on the unit circle
— We present a near-optimal deterministic filter for systems that evolve on the unit circle. Unlike suboptimal filtering algorithms that rely on approximations of the system, t...
Paul William Coote, Jochen Trumpf, Robert E. Mahon...
DAC
2008
ACM
16 years 22 days ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
DATE
2004
IEEE
158views Hardware» more  DATE 2004»
15 years 3 months ago
Bandwidth-Constrained Mapping of Cores onto NoC Architectures
We address the design of complex monolithic systems, where processing cores generate and consume a varying and large amount of data, thus bringing the communication links to the e...
Srinivasan Murali, Giovanni De Micheli
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 8 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
COMPUTER
2002
129views more  COMPUTER 2002»
14 years 11 months ago
Networks on Chips: A New SoC Paradigm
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
Luca Benini, Giovanni De Micheli