3456 search results - page 338 / 692 » Algorithms for Interface Synthesis |
175
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
176
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
156
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents an equation-based resource utilization model for automatically generated discrete Fourier transform (DFT) soft core IPs. The parameterized DFT IP generator all...
191
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
198
click to vote
FORTE
2008
15 years 8 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...