1870 search results - page 43 / 374 » Abstract And-Parallel Machines |
IFL
2001
Springer
14 years 13 days ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
ICDT
2007
ACM
14 years 2 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
USENIX
2003
13 years 9 months ago
2003
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...
ECMDAFA
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...