Sciweavers

4323 search results - page 79 / 865
» Callback Implementations in C
Sort
View
DICS
2006
13 years 9 months ago
Advances in the Design and Implementation of Group Communication Middleware
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
Daniel C. Bünzli, Rachele Fuzzati, Sergio Men...
HCI
2007
13 years 9 months ago
Cyberwalk: Implementation of a Ball Bearing Platform for Humans
This paper presents an advanced model of a treadmill using balls which are actuated by a belt on a turntable. The platform is able to run at high speeds which exceed normal walking...
Martin C. Schwaiger, Thomas Thümmel, Heinz Ul...
DLOG
2003
13 years 9 months ago
Implementing Matching in ALE--First Results
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
Sebastian Brandt
POPL
2006
ACM
14 years 8 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
CCR
2008
109views more  CCR 2008»
13 years 7 months ago
An independent H-TCP implementation under FreeBSD 7.0: description and observed behaviour
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...
Grenville J. Armitage, Lawrence Stewart, Michael W...