5235 search results - page 763 / 1047 » Analysis of Multithreaded Programs |
174
click to vote
APLAS
2006
ACM
16 years 18 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
216
click to vote
PPOPP
2006
ACM
16 years 18 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
157
click to vote
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
162
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
170
click to vote
SIGMETRICS
2004
ACM
16 years 1 days ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...