237 search results - page 48 / 48 » An Operational Approach to Combining Classical Set Theory an... |
ICALP
2009
Springer
14 years 4 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...
SAFECOMP
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...