Sciweavers

6796 search results - page 109 / 1360
» Java for Embedded Systems
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 4 months 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
DATE
1999
IEEE
113views Hardware» more  DATE 1999»
15 years 10 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...
CODES
1997
IEEE
15 years 10 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...