Sciweavers

2315 search results - page 33 / 463
» Does EigenPalm work
Sort
View
ISCA
1998
IEEE
108views Hardware» more  ISCA 1998»
14 years 1 months ago
Pipeline Gating: Speculation Control for Energy Reduction
Branch prediction has enabled microprocessors to increase instruction level parallelism (ILP) by allowing programs to speculatively execute beyond control boundaries. Although spe...
Srilatha Manne, Artur Klauser, Dirk Grunwald
PACT
1997
Springer
14 years 1 months ago
Control-Driven Coordination Programming in Shared Dataspace
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
George A. Papadopoulos, Farhad Arbab
APWEB
2006
Springer
14 years 23 days ago
Automatically Constructing Descriptive Site Maps
Rapid increase in the number of pages on web sites, and widespread use of search engine optimization techniques, lead to web sites becoming difficult to navigate. Traditional site ...
Pavel Dmitriev, Carl Lagoze
CAV
2006
Springer
116views Hardware» more  CAV 2006»
14 years 23 days ago
Lazy Shape Analysis
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
EGH
2004
Springer
14 years 23 days ago
Efficient partitioning of fragment shaders for multiple-output hardware
Partitioning fragment shaders into multiple rendering passes is an effective technique for virtualizing shading resource limits in graphics hardware. The Recursive Dominator Split...
Tim Foley, Mike Houston, Pat Hanrahan