Sciweavers

24554 search results - page 211 / 4911
» Dependable distributed systems
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 11 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
FTCS
1997
99views more  FTCS 1997»
15 years 7 months ago
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing...
HPCA
2009
IEEE
16 years 7 months ago
Eliminating microarchitectural dependency from Architectural Vulnerability
The Architectural Vulnerability Factor (AVF) of a hardware structure is the probability that a fault in the structure will affect the output of a program. AVF captures both microa...
Vilas Sridharan, David R. Kaeli
CVPR
2010
IEEE
16 years 2 months ago
An Object-Dependent Hand Pose Prior from Sparse Training Data
In this paper, we propose a prior for hand pose estimation that integrates the direct relation between a manipulating hand and a 3d object. This is of particular interest for a va...
Henning Hamer, Juergen Gall, Thibaut Weise, Luc Va...
ISCC
2007
IEEE
16 years 20 days ago
Analysis of Load Dependency of Handover Strategies in Mobile Multiaccess Ambient Networks
Wireless operators incorporate multiradio access technologies aiming at expanding their customer base and benefiting from synergies of existing and planned infrastructure. The res...
Petteri Pöyhönen, Daniel Hollos, Haitao ...