Sciweavers

4348 search results - page 46 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ICCSA
2004
Springer
15 years 3 months ago
GTVIS: Fast and Efficient Rendering System for Real-Time Terrain Visualization
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...
Russel A. Apu, Marina L. Gavrilova
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 1 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
TOOLS
2000
IEEE
15 years 2 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober
RTSS
2007
IEEE
15 years 3 months ago
Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
G. Sudha Anil Kumar, G. Manimaran
NAACL
1994
14 years 11 months ago
Techniques to Achieve an Accurate Real-Time Large-Vocabulary Speech Recognition System
In addressing the problem of achieving high-accuracy real-time speech recognition systems, we focus on recognizing speech from ARPA's20,000-word Wall Street Journal (WSJ) tas...
Hy Murveit, Peter Monaco, Vassilios Digalakis, Joh...