14360 search results - page 41 / 2872 » Time Modeling in MARTE |
QUESTA
2007
13 years 8 months ago
2007
We present the queueing analysis of a degenerate buffer having access to a single server. This system cannot realize any given delay, but only values that are an integer multiple ...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
A differential drive robot is perhaps the simplest type of mobile robot, and the bounded velocity model is perhaps the simplest useful model of the admissible controls. This paper...
ATVA
2004
Springer
14 years 2 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...