224 search results - page 20 / 45 » A Modeling Paradigm for Integrated Modular Avionics Design |
SIGGRAPH
1998
ACM
13 years 11 months ago
1998
ACM
It has become increasingly difficult to drive a modern highperformance graphics accelerator at full speed with a serial immediate-mode graphics interface. To resolve this problem,...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we present the design and implementation of Ovid, a browser for Grid-related information. The key goal of Ovid is to support the seamless navigation of users in the...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...