2512 search results - page 255 / 503 » Software Transactional Memory |
266
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
163
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...
165
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
144
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
121
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
After a system crash, databases recover to the last committed transaction, but applications usually either crash or cannot continue. The Phoenix purpose is to enable application s...