2678 search results - page 341 / 536 » Operational Semantics of Transactions |
134
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
257
click to vote
PC
2011
14 years 11 months ago
2011
We investigate the efficient iterative solution of large-scale sparse linear systems on shared-memory multiprocessors. Our parallel approach is based on a multilevel ILU precondit...
158
click to vote
TCS
2010
14 years 11 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
282
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
166
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Data Stream Management Systems are useful when large volumes of data need to be processed in real time. Examples include monitoring network traffic, monitoring financial transacti...