Sciweavers

16606 search results - page 428 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ISCA
2011
IEEE
270views Hardware» more  ISCA 2011»
14 years 10 months ago
Sampling + DMR: practical and low-overhead permanent fault detection
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
Shuou Nomura, Matthew D. Sinclair, Chen-Han Ho, Ve...
ETFA
2005
IEEE
16 years 12 days ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
SIMULATION
1998
83views more  SIMULATION 1998»
15 years 6 months ago
Libraries of Reusable Models: Theory and Application
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
Arno Breunese, Jan L. Top, Jan F. Broenink, J. M. ...
IFIP
1999
Springer
15 years 11 months ago
Improving product development: Towards a framework for integrating artefact and process models
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
Mervi Ranta, Martti Mäntylä, Riitta Smed...
ISSS
1998
IEEE
117views Hardware» more  ISSS 1998»
15 years 11 months ago
HDL-Based Modeling of Embedded Processor Behavior for Retargetable Compilation
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...
Rainer Leupers