7452 search results - page 1272 / 1491 » A Semantics for Multiprocessor Systems |
169
Voted
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
HadoopDB is a hybrid of MapReduce and DBMS technologies, designed to meet the growing demand of analyzing massive datasets on very large clusters of machines. Our previous work ha...
146
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Classic loop unrolling allows to increase the performance of sequential loops by reducing the overheads of the non-computational parts of the loop. Unfortunately, when the loop con...
138
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
173
Voted
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
We report on experience that we made in the Trading room InteGRation Architecture project (TIGRA) at a large German bank. TIGRA developed a distributed system architecture for int...
209
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...