2251 search results - page 75 / 451 » Specification and Implementation Problems for C |
117
click to vote
USENIX
1993
15 years 4 months ago
1993
In this paper we present an architecture and prototype implementation for discovering key network characteristics, such as hosts, gateways, and topology. The Fremont system uses a...
256
click to vote
UM
2010
Springer
15 years 8 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
124
click to vote
CACM
2010
15 years 3 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,...
231
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
108
Voted
CBMS
2007
IEEE
15 years 9 months ago
2007
IEEE
The development of Medical Image Analysis (MIA) applications that can successfully be applied in clinical practice is difficult for several reasons, one of them being the large am...