Sciweavers

7429 search results - page 254 / 1486
» Embedded System Update
Sort
View
ASPDAC
2006
ACM
99views Hardware» more  ASPDAC 2006»
16 years 1 months ago
Finding optimal L1 cache configuration for embedded systems
Andhi Janapsatya, Aleksandar Ignjatovic, Sri Param...
145
Voted
ASPLOS
2006
ACM
16 years 1 months ago
Atomicity and visibility in tiny embedded systems
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
John Regehr, Nathan Cooprider, David Gay
147
Voted
SENSYS
2006
ACM
16 years 1 months ago
Abstractions for safe concurrent programming in networked embedded systems
William P. McCartney, Nigamanth Sridhar
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
16 years 1 months ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar