9210 search results - page 217 / 1842 » Analyzing Real-Time Systems |
RTCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
VISUALIZATION
1996
IEEE
14 years 2 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...
PDPTA
1997
13 years 11 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...
FORTE
1990
13 years 11 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, ...
CORR
2010
Springer
13 years 10 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...