2725 search results - page 296 / 545 » Constraint Solving for Interpolation |
203
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
173
click to vote
ISPD
2006
ACM
16 years 1 months ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...
197
click to vote
P2P
2005
IEEE
16 years 1 months ago
2005
IEEE
Distributed peer-to-peer systems rely on voluntary participation of peers to effectively manage a storage pool. In such systems, data is generally replicated for performance and a...
177
click to vote
CPAIOR
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. An optimization problem arising in the design of optical fibre networks is discussed. A network contains client nodes, each installed on one or more SONET rings. A const...
199
click to vote
ICFEM
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...