1452 search results - page 129 / 291 » Algorithmic Analysis of Array-Accessing Programs |
101
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
112
click to vote
STACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract Abstract. Recent work in the analysis of randomized approximation algorithms for NP-hard optimization problems has involved approximating the solution to a problem by the ...
107
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
131
click to vote
SOFTVIS
2010
ACM
15 years 23 days ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
126
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...