936 search results - page 121 / 188 » The Synthesis Problem of Netcharts |
108
Voted
DAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper studies the implementation of Boolean functions with lattices of two-dimensional switches. Each switch is controlled by a Boolean literal. If the literal is 1, the swit...
114
Voted
SCA
2007
15 years 5 months ago
2007
Dynamic simulation is a promising complement to kinematic motion synthesis, particularly in cases where simulated characters need to respond to unpredictable interactions. Moving ...
155
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
115
click to vote
EC
2010
15 years 3 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...
137
Voted
FPGA
1999
ACM
15 years 7 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...