1689 search results - page 318 / 338 » Refining abstract interpretations |
125
click to vote
KDD
2005
ACM
16 years 5 days ago
2005
ACM
Abstract. With the amount of available information on the Web growing rapidly with each day, the need to automatically filter the information in order to ensure greater user effici...
100
click to vote
VLSID
2004
IEEE
16 years 4 days ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...
160
click to vote
SIGMOD
2006
ACM
15 years 12 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
114
click to vote
PEPM
2010
ACM
15 years 8 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...