229 search results - page 3 / 46 » How Efficient Can Memory Checking Be |
123
click to vote
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
100
Voted
ASIACRYPT
2003
Springer
15 years 8 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
143
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
127
Voted
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
119
Voted
SPAA
2005
ACM
15 years 8 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...