2858 search results - page 546 / 572 » Logics with Aggregate Operators |
175
click to vote
MOBISYS
2008
ACM
16 years 3 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...
144
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
141
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Memory transactions, similar to database transactions, allow a programmer to focus on the logic of their program and let the system ensure that transactions are atomic and isolate...
138
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
146
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal veriļ¬cation. In this paper, we explore the use of over-appr...