176 search results - page 34 / 36 » Efficient Symbolic Simulation of Low Level Software |
CASES
2004
ACM
15 years 3 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
115
click to vote
BMCBI
2010
14 years 7 months ago
2010
Background: Traditional genome alignment methods consider sequence alignment as a variation of the string edit distance problem, and perform alignment by matching characters of th...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
75
Voted
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
Power delivery, electricity consumption, and heat management are becoming key challenges in data center environments. Several past solutions have individually evaluated different ...
110
click to vote
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...