42 search results - page 1 / 9 » Automatic Synthesis of New Behaviors from a Library of Avail... |
IJCAI
2007
13 years 5 months ago
2007
SIGSOFT
2009
ACM
13 years 11 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
VLSID
2003
IEEE
14 years 4 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
ACSD
2005
IEEE
13 years 10 months ago
2005
IEEE
Register Transfer Level (RTL) synthesis model which simplified the design of clocked circuits allowed design automation boost and VLSI progress for more than a decade. Shrinking t...
CAV
2007
Springer
13 years 10 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...