1643 search results - page 177 / 329 » Consistability: Describing Usually Consistent Systems |
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
100
click to vote
ROBOCUP
1999
Springer
15 years 2 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
VLDB
1998
ACM
15 years 2 months ago
1998
ACM
From beginning of 1994 to the end of 1996, the IRO-DB ESPRIT project has developed tools for accessing relational and object-oriented databases in an integrated way. The system is...
FUZZY
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. In this paper, neural networks trained with the back-propagation algorithm are applied to predict the future values of time series that consist of the weekly demand on it...
TACAS
1997
Springer
15 years 2 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...