894 search results - page 118 / 179 » Optimizations for LTL Synthesis |
100
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we examine how the choice of functions in a genetic program (GP) affects the rate of code growth and the development of resilient individuals. We find that functio...
ISVLSI
2002
IEEE
15 years 5 months ago
2002
IEEE
Timed Shannon circuits have been proposed as a synthesis approach for a low power optimization technique at the logic level since overall circuit switching probabilities may be re...
92
Voted
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
102
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
102
click to vote
IJCAI
2001
15 years 2 months ago
2001
Software design is the hardest part of creating intelligent agents. Therefore agent architectures should be optimized as design tools. This paper presents an architectural synthes...