1299 search results - page 103 / 260 » On the Correctness of Operating System Kernels |
137
click to vote
JNSM
2007
15 years 4 months ago
2007
One problem encountered while monitoring gigabit networks, is the need to filter only those packets that are interesting for a given task while ignoring the others. Popular packet...
188
click to vote
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
161
click to vote
MSO
2003
15 years 5 months ago
2003
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...
114
click to vote
ICS
2009
Tsinghua U.
15 years 9 months ago
2009
Tsinghua U.
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...
170
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...