3311 search results - page 390 / 663 » Deductive Object Programming |
141
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
128
click to vote
HIPC
1999
Springer
15 years 8 months ago
1999
Springer
We describe a radically new cache architecture and demonstrate that it offers a huge reduction in cache cost, size and power consumption whilst maintaining performance on a wide ra...
111
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
223
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
120
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Generational collection has improved the efficiency of garbage collection in fast-allocating programs by focusing on collecting young garbage, but has done little to reduce the co...