40 search results - page 4 / 8 » Implementing a Direct Method for Certificate Translation |
183
Voted
GIS
2003
ACM
16 years 20 days ago
2003
ACM
For many applications with spatial data management such as Geographic Information Systems (GIS), block-oriented access over flash memory could introduce a significant number of no...
187
Voted
POPL
2004
ACM
15 years 12 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
103
click to vote
GISCIENCE
2010
Springer
15 years 21 days ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
122
click to vote
CGO
2003
IEEE
15 years 4 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...
112
Voted
COLING
2000
15 years 29 days ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...