3387 search results - page 224 / 678 » Model-Checking for Real-Time Systems |
279
Voted
VISUALIZATION
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a method for producing real-time volume visualizations of continuously captured, arbitrarily-oriented 2D arrays (slices) of data. Our system constructs a 3D representat...
195
Voted
PDPTA
1997
15 years 8 months ago
1997
This article describes the ongoing work of real-time message passing interface MPI standardization. Real-time MPI MPI RT provides a consistent set of extensions and, in some ca...
173
click to vote
FORTE
1990
15 years 8 months ago
1990
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
185
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Dendritic Cells (DCs) are innate immune system cells which have the power to activate or suppress the ystem. The behaviour of human DCs is abstracted to form an algorithm suitable...
180
Voted
IJVR
2008
15 years 7 months ago
2008
Real-time virtual heritage application is normally executed with a high performance computer system. This is due to the complexity and highly computational cost which makes such sy...