14360 search results - page 126 / 2872 » Time Modeling in MARTE |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
IV
2003
IEEE
14 years 2 months ago
2003
IEEE
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time orealistic rendering t...
SAFECOMP
1998
Springer
14 years 1 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
LICS
1990
IEEE
14 years 1 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
ICONIP
2010
13 years 7 months ago
2010
Abstract. In this paper, we propose a novel approach for adaptive control of robotic manipulators. Our approach uses a representation of inverse dynamics models learned from a vari...