1687 search results - page 142 / 338 » Which pointer analysis should I use |
152
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
131
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
In the analysis of multidimensional data sets questions involving detection of extremal events, correlations, patterns and trends play an increasingly important role in a variety ...
133
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
- A closed form solution for the output signal of a CMOS inverter driving an RLC transmission line is presented. This solution is based on the alpha power law for deep submicromete...
149
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
129
click to vote
IJCAI
1997
15 years 5 months ago
1997
This paper describes QUEM, a method for assessing the skill level of a knowledge-based system based on the quality of the solutions it produces. QUEM is demonstrated by using it t...