6201 search results - page 1016 / 1241 » Implementation of Axiomatic Language |
163
click to vote
FROCOS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
206
click to vote
GEOS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
173
click to vote
GTTSE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
168
click to vote
HPCC
2007
Springer
16 years 23 days ago
2007
Springer
Computing ”in-place and in-order”FFT poses a very difficult problem on hierarchical memory architectures where data movement can seriously degrade the performance. In this pape...
178
click to vote
ICALP
2007
Springer
16 years 23 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...