Sciweavers

2930 search results - page 372 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
LPNMR
2007
Springer
16 years 21 days ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele
FLAIRS
2004
15 years 8 months ago
A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
Richard Dapoigny, Patrick Barlatier, Laurent Foull...
DATE
2006
IEEE
114views Hardware» more  DATE 2006»
16 years 19 days ago
An efficient static algorithm for computing the soft error rates of combinational circuits
Soft errors have emerged as an important reliability challenge for nanoscale VLSI designs. In this paper, we present a fast and efficient soft error rate (SER) computation algorit...
Rajeev R. Rao, Kaviraj Chopra, David Blaauw, Denni...
ICASSP
2008
IEEE
16 years 1 months ago
Target-oriented phone tokenizers for spoken language recognition
This paper presents a new strategy for designing the parallel phone recognizers for spoken language recognition. Given a collection of parallel phone recognizers, we select a subs...
Rong Tong, Bin Ma, Haizhou Li, Engsiong Chng
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
16 years 5 days ago
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, S...