3954 search results - page 180 / 791 » Image-based Model Completion |
180
click to vote
DATE
2005
IEEE
16 years 56 min ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...
203
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
151
Voted
CP
2003
Springer
15 years 11 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
187
Voted
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
178
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...