1100 search results - page 78 / 220 » Instrumenting annotated programs |
144
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
128
click to vote
AIIA
2007
Springer
15 years 11 months ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
128
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
144
click to vote
BIS
2007
15 years 6 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
143
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: MicroRNAs (miRNAs) are endogenous small RNAs that play a key role in post-transcriptional regulation of gene expression in animals and plants. The number of known miRN...