1299 search results - page 175 / 260 » On the Correctness of Operating System Kernels |
196
click to vote
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...
144
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The components of a context-aware system can often become disconnected because of the dynamic environments within which they are deployed. Hoarding context information on the clie...
132
click to vote
ICPR
2008
IEEE
16 years 23 days ago
2008
IEEE
Biometric cryptography is a technique using biometric features to encrypt data, which can improve the security of the encrypted data and overcome the shortcomings of the tradition...
146
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
Managing uncertainty on the Semantic Web can potentially improve the ontology mapping precision which can lead to better acceptance of systems that operate in this environment. Fur...
141
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...