2947 search results - page 394 / 590 » Analyzing Program Analyses |
141
click to vote
NIPS
1996
15 years 3 months ago
1996
Predictions oflifetimesofdynamicallyallocated objects can be used to improve time and space e ciency of dynamic memory management in computer programs. Barrett and Zorn 1993] used...
117
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Whole-genome sequence alignment is an essential process for extracting valuable information about the functions, evolution, and peculiarities of genomes under investig...
138
click to vote
DC
2010
15 years 2 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
125
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...
162
Voted
ENTCS
2002
15 years 2 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...