Sciweavers

8933 search results - page 318 / 1787
» Usability over time
Sort
View
RTAS
1998
IEEE
15 years 11 months ago
Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs
In the past, environmental restrictions on size, weight, and power consumption have severely limited both the processing and storage capacity of embedded signal processing systems...
Steve Goddard, Kevin Jeffay
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
MM
1994
ACM
101views Multimedia» more  MM 1994»
15 years 10 months ago
Video Mosaic: Laying Out Time in a Physical Space
Paper video storyboards are still in use by even very experienced video producers with access to the most advanced video editing software. An analysis of the characteristics of pa...
Wendy E. Mackay, Daniele Pagani
RTSS
1990
IEEE
15 years 10 months ago
Dynamic Real-Time Optimistic Concurrency Control
In a recent study, we have shown that in real-time database systems that discard late transactions, optimistic concurrency control outperforms locking. Although the optimistic alg...
Jayant R. Haritsa, Michael J. Carey, Miron Livny
DSRT
2004
IEEE
15 years 10 months ago
An Architecture for Web-Services Based Interest Management in Real Time Distributed Simulation
The Experimentation Command and Control Interface (XC2I) project has developed an architecture for a Webservice based viewer/controller for use with distributed simulations suppor...
Katherine L. Morse, Ryan Brunton, J. Mark Pullen, ...