2173 search results - page 227 / 435 » An operational semantics for skeletons |
ESWS
2009
Springer
13 years 8 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
In spite of the omnipresence of parallel (multi-core) systems, the predominant strategy to evaluate window-based stream joins is still strictly sequential, mostly just straightfor...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...
EMSOFT
2007
Springer
14 years 5 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...