867 search results - page 78 / 174 » On Two Forms of Structural Recursion |
143
Voted
JCST
2010
14 years 7 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
110
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
105
click to vote
DBPL
1999
Springer
15 years 4 months ago
1999
Springer
We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries...
133
click to vote
CORR
2010
Springer
15 years 21 days ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
104
Voted
TNN
1998
15 years 7 days ago
1998
— This paper introduces a new system for real-time detection and classification of arbitrarily scattered surface-laid mines from multispectral imagery data of a minefield. The ...