Sciweavers

1262 search results - page 239 / 253
» A Container-Iterator Parallel Programming Model
Sort
View
MIDDLEWARE
2004
Springer
15 years 2 months ago
A hierarchical process execution support for grid computing
Grid is an emerging infrastructure used to share resources among virtual organizations in a seamless manner and to provide breakthrough computing power at low cost. Nowadays there...
Fábio R. L. Cicerre, Edmundo Roberto Mauro ...
93
Voted
HYBRID
1997
Springer
15 years 1 months ago
Time-Deterministic Hybrid Transition Systems
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
Simin Nadjm-Tehrani
PLILP
1995
Springer
15 years 1 months ago
Local Linear Logic for Locality Consciousness in Multiset Transformation
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
Hugh McEvoy, Pieter H. Hartel
SIGMOD
2004
ACM
166views Database» more  SIGMOD 2004»
15 years 9 months ago
Fast Computation of Database Operations using Graphics Processors
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
Naga K. Govindaraju, Brandon Lloyd, Wei Wang 0010,...
CLUSTER
2008
IEEE
15 years 4 months ago
High message rate, NIC-based atomics: Design and performance considerations
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...
Keith D. Underwood, Michael Levenhagen, K. Scott H...