262 search results - page 51 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
165
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present an efficient optimization scheme for gate sizing in the presence of process variations. Using a posynomial delay model, the delay constraints are modified to incorporat...
161
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
171
click to vote
ICNP
2006
IEEE
16 years 2 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
191
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Database storage management in clustered storage environments is a manual, time-consuming, and error-prone task. Such management involves regular movement of database objects acro...
160
click to vote
CP
2006
Springer
15 years 9 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...