581 search results - page 9 / 117 » Systematic Implementation of Real-Time Models |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
TPDS
2010
13 years 7 months ago
2010
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
PG
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes a method of human short hair modeling and real time animation. A method is proposed to model the short hair. First, a hair style model is derived from a scalp...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...