108 search results - page 17 / 22 » Runtime checking of serializability in software transactiona... |
107
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
102
click to vote
SOSP
2009
ACM
15 years 10 months ago
2009
ACM
We describe Neutron, a version of the TinyOS operating system that efficiently recovers from memory safety bugs. Where existing schemes reboot an entire node on an error, Neutron...
118
click to vote
CGO
2005
IEEE
15 years 7 months ago
2005
IEEE
Modern embedded microprocessors use low power on-chip memories called scratch-pad memories to store frequently executed instructions and data. Unlike traditional caches, scratch-p...
117
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
108
click to vote
WDAG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...