1452 search results - page 130 / 291 » Algorithmic Analysis of Array-Accessing Programs |
96
Voted
INFORMATICALT
2006
15 years 16 days ago
2006
Abstract. The asynchronous techniques that exist within the programming with distributed constraints are characterized by the occurrence of the nogood values during the search for ...
155
Voted
POPL
2003
ACM
16 years 26 days ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
88
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
128
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
112
click to vote
INFOVIS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present BARD (biological arc diagrams), a visualization tool for biological sequence analysis. The development of BARD began with the application of Wattenberg’s arc diagrams...