Sciweavers

2256 search results - page 85 / 452
» The Modeling for Dynamic Power Management of Embedded System...
Sort
View
EMSOFT
2001
Springer
15 years 4 months ago
Some Synchronization Issues When Designing Embedded Systems from Components
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
Albert Benveniste
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 5 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
BPM
2006
Springer
164views Business» more  BPM 2006»
15 years 3 months ago
A Declarative Approach for Flexible Business Processes Management
Management of dynamic processes in an important issue in rapidly changing organizations. Workflow management systems are systems that use detailed process models to drive the busin...
Maja Pesic, Wil M. P. van der Aalst
MC
2001
140views Computer Science» more  MC 2001»
15 years 1 months ago
Cooperative model production in systems design to support knowledge management
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
Christoph Clases
CASES
2003
ACM
15 years 5 months ago
Frequent loop detection using efficient non-intrusive on-chip hardware
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
Ann Gordon-Ross, Frank Vahid