15372 search results - page 2884 / 3075 » The Semantics of Semantic Annotation |
132
Voted
SPAA
2009
ACM
16 years 1 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
CAV
2009
Springer
16 years 1 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
125
click to vote
KDD
2009
ACM
16 years 1 months ago
2009
ACM
A heterogeneous information network is an information network composed of multiple types of objects. Clustering on such a network may lead to better understanding of both hidden s...
185
Voted
PODS
2009
ACM
16 years 1 months ago
2009
ACM
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different f...