Sciweavers

1509 search results - page 69 / 302
» Tracking Real-Time Systems Requirements
Sort
View
RTSS
1993
IEEE
14 years 13 days ago
Object-Based Semantic Real-Time Concurrency Control
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
Lisa Cingiser DiPippo, Victor Fay Wolfe
DAGSTUHL
2003
13 years 9 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
ISMAR
2005
IEEE
14 years 1 months ago
Augmenting Deformable Objects in Real-Time
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
Julien Pilet, Vincent Lepetit, Pascal Fua
BIRTHDAY
1999
Springer
14 years 18 days ago
Compilation and Synthesis for Real-Time Embedded Controllers
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
Martin Fränzle, Markus Müller-Olm
PODS
1990
ACM
150views Database» more  PODS 1990»
14 years 11 days ago
On Being Optimistic about Real-Time Constraints
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
Jayant R. Haritsa, Michael J. Carey, Miron Livny