505 search results - page 95 / 101 » Implementation of Belief Change Operators Using BDDs |
146
Voted
CCS
2011
ACM
14 years 1 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
227
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
129
click to vote
MICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
99
Voted
CF
2009
ACM
15 years 8 months ago
2009
ACM
Resource management on accelerator based systems is complicated by the disjoint nature of the main CPU and accelerator, which involves separate memory hierarhcies, different degr...
118
Voted
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
—Traditionally, simultaneous localization and mapping (SLAM) algorithms solve the localization and mapping problem in explored regions. This paper presents a prediction-based SLA...