Sciweavers

1916 search results - page 18 / 384
» Reconfiguring a state machine
Sort
View
ASWEC
2007
IEEE
14 years 2 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
ICTAI
2003
IEEE
14 years 1 months ago
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...
ARC
2010
Springer
138views Hardware» more  ARC 2010»
13 years 11 months ago
Space and Time Sharing of Reconfigurable Hardware for Accelerated Parallel Processing
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
Esam El-Araby, Vikram K. Narayana, Tarek A. El-Gha...
MASCOTS
1998
13 years 9 months ago
Pro-active Performance Management of Distributed Applications
Self-managing systems able to dynamically re-configure with respect to time-varying workload mixes and changing system resource availability are of growing importance in heterogen...
Alois Ferscha, James Johnson, Gabriele Kotsis, Cos...
MODELS
2009
Springer
14 years 2 months ago
HiLA: High-Level Aspects for UML State Machines
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
Gefei Zhang, Matthias M. Hölzl