Sciweavers

2144 search results - page 182 / 429
» Exact Flow Analysis
Sort
View
121
Voted
ETT
2002
73views Education» more  ETT 2002»
15 years 4 months ago
Implications of Interdomain Traffic Characteristics on Traffic Engineering
We study the interdomain traffic as seen by a non-transit ISP, based on a six days trace covering all the interdomain links of this ISP. Our analysis considers the relationships b...
Steve Uhlig, Olivier Bonaventure
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 9 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
DOCENG
2004
ACM
15 years 8 months ago
Aesthetic measures for automated document layout
A measure of aesthetics that has been used in automated layout is described. The approach combines heuristic measures of attributes that degrade the aesthetic quality. The combina...
Steven J. Harrington, J. Fernando Naveda, Rhys Pri...
145
Voted
PLDI
1990
ACM
15 years 9 months ago
A Fresh Look at Optimizing Array Bound Checking
- This paper describes techniques for optimizing range checks performed to detect array bound violations. In addition to the elimination of range check:s, the optimizations discuss...
Rajiv Gupta
150
Voted
ICS
2005
Tsinghua U.
15 years 10 months ago
Lightweight reference affinity analysis
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...
Xipeng Shen, Yaoqing Gao, Chen Ding, Roch Archamba...