Sciweavers

12084 search results - page 284 / 2417
» Effect Systems with Subtyping
Sort
View
ISCAS
2003
IEEE
89views Hardware» more  ISCAS 2003»
16 years 17 days ago
Timing-mismatch analysis in high-speed analog front-end with nonuniformly holding output
This paper will present a practical and complete analysis of timing-mismatch effects for high-speed Analog Front-End (AFE) systems with the inherent nonuniformly holding outputs. ...
Sai-Weng Sin, Seng-Pan U., Rui Paulo Martins, Jos&...
VRST
2000
ACM
15 years 11 months ago
Fast perception-based depth of field rendering
Current algorithms to create depth of field (DOF) effects are either too costly to be applied in VR systems, or they produce inaccurate results. In this paper, we present a new a...
Jurriaan D. Mulder, Robert van Liere
POPL
2004
ACM
16 years 7 months ago
A type system for well-founded recursion
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
Derek Dreyer
OSDI
2004
ACM
16 years 7 months ago
Correlating Instrumentation Data to System States: A Building Block for Automated Diagnosis and Control
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
Ira Cohen, Jeffrey S. Chase, Julie Symons, Mois&ea...
ICCAD
2006
IEEE
119views Hardware» more  ICCAD 2006»
16 years 4 months ago
Energy management for real-time embedded systems with reliability requirements
With the continued scaling of CMOS technologies and reduced design margins, the reliability concerns induced by transient faults have become prominent. Moreover, the popular energ...
Dakai Zhu, Hakan Aydin