Sciweavers

5799 search results - page 1098 / 1160
» Position Paper
Sort
View
CVRMED
1997
Springer
15 years 6 months ago
Development and validation of a navigational guidance system for acetabular implant placement
During the past year our group has been developing HipNav, a system which helps surgeons determine optimal, patient-specific acetabular implant placement and accurately achieve the...
David A. Simon, Branislav Jaramaz, Mike Blackwell,...
SIGGRAPH
1996
ACM
15 years 6 months ago
Light Field Rendering
A number of techniques have been proposed for flying through scenes by redisplaying previously rendered or digitized views. Techniques have also been proposed for interpolating be...
Marc Levoy, Pat Hanrahan
135
Voted
PLDI
2010
ACM
15 years 6 months ago
Detecting Inefficiently-Used Containers to Avoid Bloat
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
Guoqing Xu, Atanas Rountev
156
Voted
ICS
1993
Tsinghua U.
15 years 6 months ago
Graph Contraction for Physical Optimization Methods: A Quality-Cost Tradeoff for Mapping Data on Parallel Computers
Mapping data to parallel computers aims at minimizing the execution time of the associated application. However, it can take an unacceptable amount of time in comparison with the ...
Nashat Mansour, Ravi Ponnusamy, Alok N. Choudhary,...
162
Voted
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 6 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
« Prev « First page 1098 / 1160 Last » Next »