Sciweavers

1749 search results - page 298 / 350
» Logic, Optimization, and Constraint Programming
Sort
View
AHS
2007
IEEE
253views Hardware» more  AHS 2007»
14 years 2 months ago
evolFIR: Evolving redundancy-free FIR structures
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
Szilvia Zvada, Gabriella Kókai, Róbe...
VR
2003
IEEE
132views Virtual Reality» more  VR 2003»
14 years 1 months ago
Syzygy: Native PC Cluster VR
The Syzygy software library consists of tools for programming VR applications on PC clusters. Since the PC cluster environment presents application development constraints, it is ...
Benjamin Schaeffer, Camille Goudeseune
CAV
2009
Springer
116views Hardware» more  CAV 2009»
14 years 12 days ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
ISPD
1999
ACM
94views Hardware» more  ISPD 1999»
14 years 2 days ago
Gate sizing with controlled displacement
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
Wei Chen, Cheng-Ta Hsieh, Massoud Pedram
ICDT
1997
ACM
90views Database» more  ICDT 1997»
13 years 12 months ago
Adding Structure to Unstructured Data
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
Peter Buneman, Susan B. Davidson, Mary F. Fernande...