2173 search results - page 277 / 435 » An operational semantics for skeletons |
100
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
108
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
108
Voted
FPGA
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we present reconfigurable hardware architecture for detecting semantics of streaming data on 1+ Gbps networks. The design leverages on the characteristics of contex...
116
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
ICDT
1995
ACM
15 years 4 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...