Sciweavers

162 search results - page 5 / 33
» A knowledge-based analysis of global function computation
Sort
View
ESOP
2007
Springer
15 years 3 months ago
Computing Procedure Summaries for Interprocedural Analysis
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
Sumit Gulwani, Ashish Tiwari
HPDC
2007
IEEE
15 years 3 months ago
Precise and realistic utility functions for user-centric performance analysis of schedulers
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
Cynthia Bailey Lee, Allan Snavely
VLSM
2005
Springer
15 years 3 months ago
A C1 Globally Interpolatory Spline of Arbitrary Topology
Converting point samples and/or triangular meshes to a more compact spline representation for arbitrarily topology is both desirable and necessary for computer vision and computer ...
Ying He 0001, Miao Jin, Xianfeng Gu, Hong Qin
81
Voted
ICDCS
2003
IEEE
15 years 2 months ago
Monitoring and Characterization of Component-Based Systems with Global Causality Capture
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
Jun Li
PSIVT
2009
Springer
211views Multimedia» more  PSIVT 2009»
15 years 2 months ago
Inclusion of a Second-Order Prior into Semi-Global Matching
Today’s stereo vision algorithms and computing technology allow real-time 3D data analysis, for example for driver assistance systems. A recently developed Semi-Global Matching (...
Simon Hermann, Reinhard Klette, Eduardo Destefanis