160 search results - page 16 / 32 » Ranking under temporal constraints |
ICCAD
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
MA
2011
Springer
13 years 2 months ago
2011
Springer
We consider the problem minx(x−t) A(x−t) subject to x Bx + 2b x = k where A is positive definite or positive semidefinite. Commonly occurring statistical variants of this pro...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
SIGCOMM
2005
ACM
14 years 1 months ago
2005
ACM
Thousands of competing autonomous systems must cooperate with each other to provide global Internet connectivity. Each autonomous system (AS) encodes various economic, business, a...