14360 search results - page 137 / 2872 » Time Modeling in MARTE |
CGI
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...
RTSS
2005
IEEE
14 years 3 months ago
2005
IEEE
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...
DEM
2001
Springer
14 years 2 months ago
2001
Springer
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
BIOCOMP
2006
13 years 11 months ago
2006
Exploring gene regulatory network is a key topic in molecular biology. In this paper, we present a new dynamic Bayesian network (DBN) framework embedded with structural expectatio...
DAGSTUHL
2006
13 years 11 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...