6102 search results - page 178 / 1221 » Generating Optimizing Specializers |
131
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
147
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
123
Voted
ISQED
2009
IEEE
15 years 9 months ago
2009
IEEE
Estimation of maximal power consumption is an essential task in VLSI circuit realizations since power value significantly affects the reliability of the circuits. The key issue o...
132
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— In third generation (3G) cellular networks, base stations are connected to base station controllers by pointto-point (usually T1/E1) links. However, today’s T1/E1 based backh...
133
click to vote
SAC
2010
ACM
15 years 12 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...