3521 search results - page 163 / 705 » Algorithmic Control in Concurrent Computations |
89
Voted
TCAD
2002
15 years 5 days ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
IMR
2004
Springer
15 years 6 months ago
2004
Springer
The paper presents an a priori procedure to control the element size and shape variation for meshing algorithms governed by anisotropic sizing specifications. The field of desir...
87
Voted
AAAI
2006
15 years 1 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
84
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
ICPADS
1998
IEEE
15 years 4 months ago
1998
IEEE
With respect to scalability and arbitrary topologies of the underlying networks in multiprogramming and multithread environment, fault tolerance in acknowledged ATAB and concurren...