515 search results - page 91 / 103 » A Dynamic Programming Approach to Optimal Integrated Code Ge... |
110
click to vote
ISMB
1994
15 years 1 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
138
click to vote
FMICS
2010
Springer
15 years 22 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
112
Voted
CP
2011
Springer
14 years 11 days ago
2011
Springer
Algorithm portfolios aim to increase the robustness of our ability to solve problems efficiently. While recently proposed algorithm selection methods come ever closer to identifyin...
199
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
The deep Web presents a pressing need for integrating large numbers of dynamically evolving data sources. To be more automatic yet accurate in building an integration system, we o...
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Wire bonding is the most popular method to connect signals between dies in System-in-Package (SiP) design nowadays. Pad assignment, which assigns inter-die signals to die pads so ...