715 search results - page 79 / 143 » Automatic Programming for Sequence Control |
178
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
173
click to vote
CORR
2012
Springer
14 years 14 days ago
2012
Springer
All previous work on “candidate-control” manipulation of elections has been in the model of full-information, simultaneous voting. This is a problem, since in quite a few real...
144
Voted
ISLPED
2004
ACM
15 years 10 months ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
143
click to vote
ICS
1999
Tsinghua U.
15 years 9 months ago
1999
Tsinghua U.
We introduce dependence-based pre-computation as a complement to history-based target prediction schemes. We present pre-computation in the context of virtual function calls (v-ca...
140
click to vote
VMCAI
2007
Springer
15 years 11 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...