1100 search results - page 55 / 220 » Instrumenting annotated programs |
145
click to vote
CONCURRENCY
2000
15 years 4 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
121
click to vote
NAR
2007
15 years 4 months ago
2007
The Pseudogene.org database serves as a comprehensive repository for pseudogene sequence annotation. The definition of a pseudogene varies within the literature, resulting in sign...
135
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
153
Voted
ECOOP
2012
Springer
13 years 7 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
161
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...