861 search results - page 141 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
150
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
147
Voted
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
137
click to vote
DAC
2004
ACM
15 years 6 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
126
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
125
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...