Sciweavers

6796 search results - page 109 / 1360
» Java for Embedded Systems
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 24 days ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
124
Voted
DATE
1999
IEEE
113views Hardware» more  DATE 1999»
15 years 6 months ago
Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems
This paper proposes a methodology to evaluate the effects of encodings on the power consumption of system-level buses in the presence of multi-level cache memories. The proposed m...
William Fornaciari, Donatella Sciuto, Cristina Sil...
128
Voted
EDCC
2010
Springer
15 years 7 months ago
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC
Jon Perez, Mikel Azkarate-askasua, Antonio Perez
CODES
1997
IEEE
15 years 6 months ago
Automatic Generation of a Real-Time Operating System for Embedded Systems
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
Felice Balarin, Massimiliano Chiodo, Attila Jurecs...