Sciweavers

8132 search results - page 1603 / 1627
» Dependability, Abstraction, and Programming
Sort
View
GI
2003
Springer
15 years 3 months ago
Fehlertoleranter Lenkwinkelgeber
Abstract: In diesem Beitrag wird beschrieben, wie ein gegebener Lenkwinkelgeber um fehlertolerante Eigenschaften erweitert wird, damit er in zukünftigen Steer-By-Wire-Anwendungen ...
Elmar Dilger, Matthias Gulbins, Thomas Ohnesorge, ...
ICALP
2003
Springer
15 years 3 months ago
Anycasting in Adversarial Systems: Routing and Admission Control
Abstract. In this paper we consider the problem of routing packets in dynamically changing networks, using the anycast mode. In anycasting, a packet may have a set of destinations ...
Baruch Awerbuch, André Brinkmann, Christian...
ICALP
2003
Springer
15 years 3 months ago
Similarity Matrices for Pairs of Graphs
Abstract. We introduce a concept of similarity between vertices of directed graphs. Let GA and GB be two directed graphs with respectively nA and nB vertices. We define a nA × nB...
Vincent D. Blondel, Paul Van Dooren
ICCS
2003
Springer
15 years 3 months ago
CORBA Based Real-Time Object-Group Platform in Distributed Computing Environments
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
Su-Chong Joo, Sung-Kwun Oh, Chang-Sun Shin, Jun Hw...
PLDI
2010
ACM
15 years 2 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
« Prev « First page 1603 / 1627 Last » Next »