1534 search results - page 97 / 307 » Stochastic Bounds on Execution Times of Parallel Computation... |
ISSTA
2010
ACM
14 years 3 days ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
ASPLOS
1996
ACM
14 years 2 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
ISHPC
2000
Springer
14 years 1 months ago
2000
Springer
Partitioned parallel radix sort is a parallel radix sort that shortens the execution time by modifying the load balanced radix sort which is known one of the fastest internal sort...
CCGRID
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...
REX
1991
14 years 1 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...