Sciweavers

3656 search results - page 633 / 732
» Parallel programming in Split-C
Sort
View
COR
2010
123views more  COR 2010»
15 years 6 months ago
Multi-dimensional bin packing problems with guillotine constraints
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 ...
Rasmus Resen Amossen, David Pisinger
ENTCS
2002
98views more  ENTCS 2002»
15 years 6 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
JAR
1998
60views more  JAR 1998»
15 years 6 months ago
Elimination of Self-Resolving Clauses
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 ...
Hans Jürgen Ohlbach
TOCS
1998
83views more  TOCS 1998»
15 years 5 months ago
Using Value Prediction to Increase the Power of Speculative Execution Hardware
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...
Freddy Gabbay, Avi Mendelson
HCW
1998
IEEE
15 years 10 months ago
NetSolve: A Network-Enabled Solver; Examples and Users
The NetSolve project, underway at the University of Tennessee and at the Oak Ridge National Laboratory, allows users to access computational resources distributed across the netwo...
Henri Casanova, Jack Dongarra