Sciweavers

36781 search results - page 3 / 7357
» Parameterizing by the Number of Numbers
Sort
View
WALCOM
2010
IEEE
351views Algorithms» more  WALCOM 2010»
13 years 3 months ago
Pathwidth and Searching in Parameterized Threshold Graphs
Treewidth and pathwidth are important graph parameters that represent how close the graph is to trees and paths respectively. We calculate treewidth and pathwidth on parameterized ...
D. Sai Krishna, T. V. Thirumala Reddy, B. Sai Shas...
ICCAD
2001
IEEE
86views Hardware» more  ICCAD 2001»
14 years 2 months ago
System-Level Exploration for Pareto-Optimal Configurations in Parameterized Systems-on-a-Chip
In this work, we provide a technique for efficiently exploring the configuration space of a parameterized system-on-a-chip (SOC) architecture to find all Pareto-optimal configurat...
Tony Givargis, Frank Vahid, Jörg Henkel
CAD
2004
Springer
13 years 5 months ago
3D surface filtering using spherical harmonics
This paper presents a novel approach for 3D surface filtering over two-manifold meshes. A robust spherical parameterization algorithm is proposed to transform the input surface in...
Kun Zhou, Hujun Bao, Jiaoying Shi
ASAP
2006
IEEE
162views Hardware» more  ASAP 2006»
13 years 9 months ago
Affine Nested Loop Programs and their Binary Parameterized Dataflow Graph Counterparts
Parameterized static affine nested loop programs can be automatically converted to input-output equivalent Kahn Process Network specifications. These networks turn out to be close...
Ed F. Deprettere, Todor Stefanov, Shuvra S. Bhatta...
CAV
2004
Springer
154views Hardware» more  CAV 2004»
13 years 9 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...