2794 search results - page 213 / 559 » A New Architecture for Automated Modelling |
141
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper proposes the use of advanced knowledge models to support real time decision for management problems as an adequate response to the current needs and technology. The new ...
157
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
180
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
181
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In order to construct three dimensional shape models of large scale architectures by a laser range finder, a number of range images are normally taken from various viewpoints and...
218
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...