2861 search results - page 255 / 573 » Constraint Programming |
180
click to vote
WADS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity flow problems arising in VLSI applications such as Global Routing via Buffer Block...
150
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
168
click to vote
FMOODS
2003
15 years 8 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
169
click to vote
TSC
2010
15 years 1 months ago
2010
Today's data centers offer IT services mostly hosted on dedicated physical servers. Server virtualization provides a technical means for server consolidation. Thus, multiple v...
173
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...