1760 search results - page 147 / 352 » A System to Mark Programs Automatically |
112
click to vote
AAAI
2000
15 years 4 months ago
2000
This paper presents an implemented system, called LEONARD, that classifies simple spatial motion events, such as pick up and put down, from video input. Unlike previous systems th...
138
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
112
click to vote
PLDI
1996
ACM
15 years 7 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
114
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
120
click to vote
TOPLAS
2002
15 years 2 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...