Sciweavers

10435 search results - page 1842 / 2087
» Measuring system normality
Sort
View
HPDC
2010
IEEE
15 years 5 months ago
A hybrid Markov chain model for workload on parallel computers
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
Anne Krampe, Joachim Lepping, Wiebke Sieben
EUROSSC
2008
Springer
15 years 5 months ago
Exploring the Design of Pay-Per-Use Objects in the Construction Domain
Equipment used in the construction domain is often hired in order to reduce cost and maintenance overhead. The cost of hire is dependent on the time period involved and does not ta...
Daniel Fitton, Vasughi Sundramoorthy, Gerd Kortuem...
GLVLSI
2008
IEEE
183views VLSI» more  GLVLSI 2008»
15 years 5 months ago
An analytical model for the upper bound on temperature differences on a chip
The main contribution of this work is an analytical model for finding the upper bound on the temperature difference among various locations on the die. The proposed model can be u...
Shervin Sharifi, Tajana Simunic Rosing
APLAS
2010
ACM
15 years 4 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
ASSETS
2010
ACM
15 years 4 months ago
Leveraging proprioception to make mobile phones more accessible to users with visual impairments
Accessing the advanced functions of a mobile phone is not a trivial task for users with visual impairments. They rely on screen readers and voice commands to discover and execute ...
Frank Chun Yat Li, David Dearman, Khai N. Truong
« Prev « First page 1842 / 2087 Last » Next »