262 search results - page 37 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
111
Voted
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
PVLDB
2008
14 years 9 months ago
2008
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
DAC
2008
ACM
15 years 10 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
CHES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
100
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...