3758 search results - page 510 / 752 » A Complete Subsumption Algorithm |
184
click to vote
LICS
2008
IEEE
16 years 21 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
153
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
175
click to vote
RTSS
2006
IEEE
16 years 9 days ago
2006
IEEE
In most operating systems, the handling of interrupts is typically performed within the address space of the kernel. Moreover, interrupt handlers are invoked asynchronously during...
210
click to vote
ACISP
2006
Springer
16 years 9 days ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
154
click to vote
IUI
2006
ACM
16 years 8 days ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...