175 search results - page 5 / 35 » Operating System Extensions for the Teradata Parallel VLDB |
PVM
2007
Springer
14 years 1 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
CONCUR
2009
Springer
13 years 5 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
VLDB
1992
ACM
13 years 11 months ago
1992
ACM
In most database systems with production rule facilities, rules respond to operations on centralized data and rule processing is performed in a centralized, sequential fashion. In ...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...
FUIN
2002
13 years 7 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...