3456 search results - page 250 / 692 » Algorithms for Interface Synthesis |
175
click to vote
GECCO
2005
Springer
16 years 4 days 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...
160
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
143
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--The traditional framework for discrete-event control is extended to include the case of control with active events, in which both the user and the environment have events...
196
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
164
Voted
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...