Sciweavers

5515 search results - page 707 / 1103
» Software architecture: a roadmap
Sort
View
DSRT
2000
IEEE
15 years 11 months ago
A Generic Rollback Manager for Optimistic HLA Simulations
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...
Fernando Vardânega, Carlos Maziero
150
Voted
TPHOL
1999
IEEE
15 years 11 months ago
A Machine-Checked Theory of Floating Point Arithmetic
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
John Harrison
ROBOCUP
1999
Springer
120views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
CS Freiburg '99
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
Bernhard Nebel, Jens-Steffen Gutmann, Wolfgang Hat...
IPPS
1998
IEEE
15 years 11 months ago
NoWait-RPC: Extending ONC RPC to a Fully Compatible Message Passing System
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
Thomas Hopfner, Franz Fischer, Georg Färber
167
Voted
SPIRE
1999
Springer
15 years 11 months ago
Flexible Communication Support for CSCW Applications
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
Hugo Miranda, Luís Rodrigues