Sciweavers

12272 search results - page 19 / 2455
» Experimental program analysis
Sort
View
PLDI
2003
ACM
14 years 3 months ago
A compiler framework for speculative analysis and optimizations
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew, ...
HCI
2007
13 years 11 months ago
Activity Theoretical Analysis and Design Model for Web-Based Experimentation
This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
Anh Vu Nguyen-Ngoc
WCE
2007
13 years 11 months ago
Experimental and numerical analysis of screw fixation in anterior cruciate ligament reconstruction
—This paper reports the results of an experimental and finite element analysis of tibial screw fixation in hamstring ACL reconstruction. The mechanical properties of the bone and...
Mahmoud Chizari, Bin Wang, Martyn Snow
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
14 years 4 months ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
ISLPED
2009
ACM
154views Hardware» more  ISLPED 2009»
14 years 2 months ago
Experimental analysis of sequence dependence on energy saving for error tolerant image processing
We present experimental analysis to exploit the sequence dependence on energy saving in error tolerant image processing. Our analysis shows that the error distributions depend not...
Se Hun Kim, Saibal Mukhopadhyay, Wayne Wolf