1410 search results - page 57 / 282 » A Logic for Virtual Memory |
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
LCTRTS
1999
Springer
15 years 4 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
JSSPP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. Most studies on adaptive partitioning policies for scheduling parallel jobs on distributed memory parallel computers ignore the constraints imposed by the memory requirem...
100
click to vote
FOSSACS
2001
Springer
15 years 4 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
187
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...