Sciweavers

3239 search results - page 382 / 648
» A Logical Process Calculus
Sort
View
EDBT
2002
ACM
138views Database» more  EDBT 2002»
16 years 4 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
ICCAD
2004
IEEE
121views Hardware» more  ICCAD 2004»
16 years 27 days ago
Factoring and eliminating common subexpressions in polynomial expressions
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
Anup Hosangadi, Farzan Fallah, Ryan Kastner
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 10 months ago
A high-level debug environment for communication-centric debug
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
Kees Goossens, Bart Vermeulen, Ashkan Beyranvand N...
MEMOCODE
2008
IEEE
15 years 10 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
ISQED
2007
IEEE
146views Hardware» more  ISQED 2007»
15 years 10 months ago
Parameter-Variation-Aware Analysis for Noise Robustness
This paper studies the impact of variability on the noise robustness of logic gates using noise rejection curves (NRCs). NRCs allow noise pulses to be modeled using magnitude-dura...
Mosin Mondal, Kartik Mohanram, Yehia Massoud