1888 search results - page 306 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
121
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Analytic applications from various industrial sectors have specific attributes and requirements including relatively long processing time, parallelization, multiple interactive in...
155
click to vote
MKWI
2008
15 years 6 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
169
click to vote
SIGMOD
2010
ACM
14 years 11 months ago
2010
ACM
This demonstration presents Crescando, an implementation of a distributed relational table that guarantees predictable response time on unpredictable workloads. In Crescando, data...
163
Voted
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
152
click to vote
FAST
2009
15 years 2 months ago
2009
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...