936 search results - page 120 / 188 » The Synthesis Problem of Netcharts |
124
click to vote
EVOW
2007
Springer
15 years 9 months ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
120
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
126
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
115
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
Previous work has shown that sizable power reductions can be achieved by shutting down a system's sub-circuits when they are not needed. However, these shutdown techniques fo...
137
Voted
SIGGRAPH
1993
ACM
15 years 7 months ago
1993
ACM
The realistic depiction of smoke, steam, mist and water reacting to a turbulent eld such as wind is an attractive and challenging problem. Its solution requires interlocking model...