Sciweavers

9210 search results - page 253 / 1842
» Analyzing Real-Time Systems
Sort
View
BIRTHDAY
1999
Springer
14 years 3 months 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
DEXA
1999
Springer
158views Database» more  DEXA 1999»
14 years 3 months ago
Transaction Shipping Approach for Mobile Distributed Real-Time Databases
Due to the unpredictability of mobile network, it is difficult to meet transaction deadlines in a mobile distributed real-time database system (MDRDTBS). We propose the idea of tra...
Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, Gary C. ...
ISORC
1999
IEEE
14 years 3 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
VR
1999
IEEE
164views Virtual Reality» more  VR 1999»
14 years 3 months ago
The Software Architecture of a Real-Time Battlefield Visualization Virtual Environment
This paper describes the software architecture of Dragon, a real-time situational awareness virtual environment for battlefield visualization. Dragon receives data from a number of...
Simon Julier, Rob King, Brad Colbert, Jim Durbin, ...
SCCC
1998
IEEE
14 years 3 months ago
An Adaptive Model for Programming Distributed Real-Time Applications in CORBA
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
Carlos Montez, Rômulo Silva de Oliveira, Jon...