Sciweavers

4820 search results - page 273 / 964
» Implementing Signatures for C
Sort
View
110
Voted
WSC
2004
15 years 5 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
FORTE
1997
15 years 5 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
119
Voted
SOSP
1993
ACM
15 years 5 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...
CSDA
2010
118views more  CSDA 2010»
15 years 3 months ago
Grapham: Graphical models with adaptive random walk Metropolis algorithms
Recently developed adaptive Markov chain Monte Carlo (MCMC) methods have been applied successfully to many problems in Bayesian statistics. Grapham is a new open source implementat...
Matti Vihola
153
Voted
ICIP
1998
IEEE
16 years 5 months ago
Invariant-based Data Model for Image Databases
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
Michael Kliot, Ehud Rivlin