E-LIB Suche - Ergebnisse für: Detlefs, David L.

1

Session details: Analysis, design, & tools:

, In: Proceedings of the 2013 international symposium on memory management,

Detlefs, David L. , 2013

Link: https://dl.acm.org/doi/1..

2

Session details: Analysis, design, & tools:

Detlefs, David L.
ACM SIGPLAN Notices. 48 (2013) 11 - p. , 2013

Link: https://doi.org/10.1145/..

3

Session details: Analysis, design, & tools:

Detlefs, David L.
ACM SIGPLAN Notices. 48 (2013) 11 - p. , 2013

Link: https://dl.acm.org/doi/1..

4

Session details: Domain-specific memory management I:

, In: Proceedings of the 7th international symposium on Memory management,

Detlefs, David , 2008

Link: https://dl.acm.org/doi/1..

5

Eliminating synchronization-related atomic operations with ..:

Russell, Kenneth ; Detlefs, David
ACM SIGPLAN Notices. 41 (2006) 10 - p. 263-272 , 2006

Link: https://doi.org/10.1145/..

6

Eliminating synchronization-related atomic operations with ..:

, In: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications,

Russell, Kenneth ; Detlefs, David - p. 263-272 , 2006

Link: https://dl.acm.org/doi/1..

7

Simplify: a theorem prover for program checking:

Detlefs, David ; Nelson, Greg ; Saxe, James B.
Journal of the ACM (JACM). 52 (2005) 3 - p. 365-473 , 2005

Link: https://dl.acm.org/doi/1..

8

Simplify: a theorem prover for program checking:

Detlefs, David ; Nelson, Greg ; Saxe, James B.
Journal of the ACM. 52 (2005) 3 - p. 365-473 , 2005

Link: https://doi.org/10.1145/..

9

Compile-Time Concurrent Marking Write Barrier Removal:

, In: Proceedings of the international symposium on Code generation and optimization,

Nandivada, V. Krishna ; Detlefs, David - p. 37-48 , 2005

Link: https://dl.acm.org/doi/1..

10

Garbage-first garbage collection:

, In: Proceedings of the 4th international symposium on Memory management,

Detlefs, David ; Flood, Christine ; Heller, Steve. - p. 37-48 , 2004

Link: https://dl.acm.org/doi/1..

11

DCAS is not a silver bullet for nonblocking algorithm desig:

, In: Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures,

Doherty, Simon ; Detlefs, David L. ; Groves, Lindsay... - p. 216-224 , 2004

Link: https://dl.acm.org/doi/1..

12

Session details: Garbage Collection:

Detlefs, David
ACM SIGPLAN Notices. 37 (2002) 5 - p. , 2002

Link: https://doi.org/10.1145/..

13

bf DCAS-Based Concurrent Deques:

Agesen, Ole ; Detlefs, David L. ; Flood, Christine H....
Theory of Computing Systems. 35 (2002) 3 - p. 349-386 , 2002

Link: https://doi.org/10.1007/..

14

Proceedings of the 3rd international symposium on Memory ma..:

Boehm, Hans-J. ; Detlefs, David , 2002

Link: https://dl.acm.org/doi/1..

15

Session details: Garbage Collection:

Detlefs, David
ACM SIGPLAN Notices. 37 (2002) 5 - p. , 2002

Link: https://dl.acm.org/doi/1..