21094 search results - page 80 / 4219 » An experiment using DLV-K |
154
click to vote
EDCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...
146
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
IT research is often informed by studies of the practices that new technologies are to be embedded in and which they transform in their use. The development of mixed reality, tang...
129
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
151
click to vote
SPDP
1991
IEEE
15 years 9 months ago
1991
IEEE
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
278
click to vote
ICFP
2009
ACM
16 years 6 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...