Sciweavers

1118 search results - page 95 / 224
» Hardware interface design for real time embedded systems
Sort
View
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 2 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
CODES
2006
IEEE
15 years 4 months ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
EUROMICRO
2000
IEEE
15 years 2 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
RTAS
2009
IEEE
15 years 4 months ago
Adaptive Failover for Real-Time Middleware with Passive Replication
Supporting uninterrupted services for distributed soft real-time applications is hard in resource-constrained and dynamic environments, where processor or process failures and sys...
Jaiganesh Balasubramanian, Sumant Tambe, Chenyang ...
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
15 years 4 months ago
Integrated scheduling and synthesis of control applications on distributed embedded systems
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng