12272 search results - page 244 / 2455 » Experimental program analysis |
187
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Functional genomics involves the parallel experimentation with large sets of proteins. This requires management of large sets of open reading frames as a prerequisite ...
198
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
172
click to vote
ICPP
2008
IEEE
16 years 1 months ago
2008
IEEE
Probabilistic Latent Semantic Analysis (PLSA) is one of the most popular statistical techniques for the analysis of two-model and co-occurrence data. It has applications in inform...
167
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunat...
167
click to vote
CIDR
2011
14 years 10 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...