3686 search results - page 497 / 738 » Pattern-Based Parallel Programming |
120
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
109
click to vote
COR
2010
15 years 3 months ago
2010
The problem addressed in this paper is the decision problem of determining if a set of multi-dimensional rectangular boxes can be orthogonally packed into a rectangular bin while ...
139
click to vote
ENTCS
2002
15 years 3 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
101
click to vote
JAR
1998
15 years 2 months ago
1998
It is shown how self-resolving clauses like symmetry or transitivity, or even clauses like condensed detachment, can faithfully be deleted from the clause set thus eliminating or ...
123
click to vote
TOCS
1998
15 years 2 months ago
1998
This paper presents an experimental and analytical study of value prediction and its impact on speculative execution in superscalar microprocessors. Value prediction is a new para...