Sciweavers

168 search results - page 2 / 34
» Library Functions Timing Characterization for Source-Level A...
Sort
View
MSS
1999
IEEE
108views Hardware» more  MSS 1999»
13 years 9 months ago
Analysis of HPSS Performance Based on Per-file Transfer Logs
This paper analyses HPSS performance and, to a lesser extent, characterizes the SDSC HPSS workload, utilizing per-file transfer logs. The performance examined includes disk cache ...
Wayne Schroeder, Richard Marciano, Joe Lopez, Mich...
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
14 years 2 months ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
AAAI
2012
11 years 7 months ago
Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League
Real-world AI systems have been recently deployed which can automatically analyze the plan and tactics of tennis players. As the game-state is updated regularly at short intervals...
Patrick Lucey, Alina Bialkowski, Peter Carr, Eric ...
ISAAC
2010
Springer
240views Algorithms» more  ISAAC 2010»
13 years 3 months ago
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
Hugo Férée, Emmanuel Hainry, Mathieu...
POPL
2008
ACM
14 years 5 months ago
Lightweight semiformal time complexity analysis for purely functional data structures
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
Nils Anders Danielsson