Sciweavers

4323 search results - page 183 / 865
» Callback Implementations in C
Sort
View
110
Voted
PPOPP
1995
ACM
15 years 6 months ago
pC++/streams: a Library for I/O on Complex Distributed Data Structures
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...
Jacob Gotwals, Suresh Srinivas, Dennis Gannon
125
Voted
CISSE
2008
Springer
15 years 4 months ago
Testing Grammars For Top-Down Parsers
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
A. M. Paracha, F. Franek
101
Voted
WSC
2004
15 years 4 months ago
Integration of the FreeBSD TCP/IP-Stack into the Discrete Event Simulator OMNet++
The discrete event simulator OMNeT++, that is programmed in C++, shows a steady growing popularity. Due to its wellstructured nature, it is easy to understand and easy to use. A s...
Roland Bless, Mark Doll
137
Voted
FORTE
1997
15 years 4 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
114
Voted
SOSP
1993
ACM
15 years 4 months ago
The Logical Disk: A New Approach to Improving File Systems
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsi...