3456 search results - page 335 / 692 » Algorithms for Interface Synthesis |
172
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
169
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
Shrinking feature sizes gives more headroom for designers to extend the functionality of microprocessors. The IEEE 754R working group has revised the IEEE 754-1985 Standard for Bi...
147
Voted
ISQED
2007
IEEE
16 years 29 days ago
2007
IEEE
— Fast and accurate routing congestion estimation is essential for optimizations such as floorplanning, placement, buffering, and physical synthesis that need to avoid routing c...
179
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
185
click to vote
SAT
2007
Springer
16 years 24 days ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...