1123 search results - page 183 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...
ICASSP
2011
IEEE
13 years 19 days ago
2011
IEEE
This paper addresses the problem of video anomaly recovery from a sequence of spectrally compressed video frames. Analysis of anomalies occurring in both time and spectrum is impo...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract—The problem of route address lookup has received much attention recently and several algorithms and data structures for performing address lookups at high speeds have be...
EDBT
2010
ACM
14 years 3 months ago
2010
ACM
Since the visualization real estate puts stringent constraints on how much data can be presented to the users at once, table summarization is an essential tool in helping users qu...