488 search results - page 60 / 98 » Unbounded Transactional Memory |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
ACSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
Buffer overflow vulnerabilities are caused by programming errors that allow an attacker to cause the program to write beyond the bounds of an allocated memory block to corrupt oth...
FOCS
2009
IEEE
14 years 4 months ago
2009
IEEE
In the classical balls-and-bins paradigm, where n balls are placed independently and uniformly in n bins, typically the number of bins with at least two balls in them is Θ(n) and ...
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
SRDS
1999
IEEE
14 years 2 months ago
1999
IEEE
Software distributed shared memory (DSM) improves the programmability of message-passing machines and workclusters by providing a shared memory abstract (i.e., a coherent global a...