8086 search results - page 341 / 1618 » On the Implementation of Dynamic Patterns |
193
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
We describe a dynamic partitioning scheme usable by model checking techniques that divide the state space into partitions, such as most external memory and distributed model checki...
165
click to vote
CONTEXT
2003
Springer
15 years 12 months ago
2003
Springer
This paper discusses the dynamic of context through the use of a context-based formalism called contextual graphs that has been initially developed in the SART application for the ...
245
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
177
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This work presents an overview of the principles that underlie the speed-up achievable by dynamic hardware reconfiguration, proposes a more precise taxonomy for the execution mode...
158
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issu...