Sciweavers

Share
6 search results - page 1 / 2
» Fast On-the-Fly Parametric Real-Time Model Checking
Sort
View
RTSS
2005
IEEE
12 years 5 months ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
VW
2009
Springer
130views Virtual Reality» more  VW 2009»
12 years 4 months ago
Towards a Definition of Virtual Objects Using Partial Differential Equations
—We propose an efficient alternative to commonly used parametric surfaces such as NURBS surfaces for definition of complex geometry in shared virtual spaces. Our mathematical mod...
Hassan Ugail, Gabriela González Castro, Ale...
TACAS
2009
Springer
132views Algorithms» more  TACAS 2009»
12 years 6 months ago
Transition-Based Directed Model Checking
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
Martin Wehrle, Sebastian Kupferschmid, Andreas Pod...
RTCSA
2005
IEEE
12 years 5 months ago
Run-Time Power Consumption Modeling for Embedded Multimedia Systems
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
Yu Hu, Qing Li, C. C. Jay Kuo
TOOLS
2008
IEEE
12 years 6 months ago
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
Stefan Leue, Alin Stefanescu, Wei Wei
books