Sciweavers

1154 search results - page 100 / 231
» Mathematizing C concurrency
Sort
View
IMC
2007
ACM
13 years 10 months ago
An active measurement system for shared environments
Testbeds composed of end hosts deployed across the Internet enable researchers to simultaneously conduct a wide variety of experiments. Active measurement studies of Internet path...
Joel Sommers, Paul Barford
ENTCS
2006
176views more  ENTCS 2006»
13 years 9 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
ISBI
2009
IEEE
14 years 4 months ago
A Physical Basis for Multi-Fiber Reconstruction from DW-MRI Data
Recently various mathematical models have been proposed to model the signal attenuation obtained from Diffusion Weighted Magnetic Resonance Imaging (DW-MRI). Though effective to v...
Ritwik Kumar, Angelos Barmpoutis, Baba C. Vemuri, ...
DATE
2009
IEEE
171views Hardware» more  DATE 2009»
14 years 4 months ago
Automatic generation of streaming datapaths for arbitrary fixed permutations
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
Peter A. Milder, James C. Hoe, Markus Püschel
VISUALIZATION
2003
IEEE
14 years 2 months ago
Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
David C. Banks, Stephen A. Linton