1724 search results - page 310 / 345 » Concurrency in the Data Warehouse |
108
click to vote
LICS
2010
IEEE
15 years 10 days ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
134
Voted
SCP
2010
15 years 9 days ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
104
click to vote
WDAG
2010
Springer
15 years 8 days ago
2010
Springer
Software transactional memory (STM) guarantees that a transaction, consisting of a sequence of operations on the memory, appears to be executed atomically. In practice, it is impor...
117
click to vote
BMVC
2010
14 years 12 months ago
2010
This paper introduces a novel probabilistic activity modeling approach that mines recurrent sequential patterns from documents given as word-time occurrences. In this model, docum...
112
Voted
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...