4323 search results - page 186 / 865 » Callback Implementations in C |
120
click to vote
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
129
click to vote
CACM
2010
15 years 4 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
158
click to vote
CONCURRENCY
1998
15 years 3 months ago
1998
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
157
click to vote
SDM
2011
SIAM
14 years 6 months ago
2011
SIAM
Identifying the extremal (minimal and maximal) sets from a collection of sets is an important subproblem in the areas of data-mining and satisfiability checking. For example, ext...
147
click to vote
SOSP
2001
ACM
16 years 22 days ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...