Sciweavers

2144 search results - page 92 / 429
» Exact Flow Analysis
Sort
View
ISQED
2009
IEEE
112views Hardware» more  ISQED 2009»
15 years 11 months ago
Estimation and optimization of reliability of noisy digital circuits
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally efï¬...
Satish Sivaswamy, Kia Bazargan, Marc D. Riedel
123
Voted
ICFEM
2000
Springer
15 years 7 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
CVPR
2000
IEEE
16 years 6 months ago
Shape and Motion Carving in 6D
The motion of a non-rigid scene over time imposes more constraints on its structure than those derived from images at a single time instant alone. An algorithm is presented for si...
Sundar Vedula, Simon Baker, Steven M. Seitz, Takeo...
SIAMNUM
2010
137views more  SIAMNUM 2010»
14 years 10 months ago
A Residual-Based A Posteriori Error Estimator for the Stokes-Darcy Coupled Problem
In this paper we develop an a posteriori error analysis of a new conforming mixed finite element method for the coupling of fluid flow with porous media flow. The flows are govern...
Ivo Babuska, Gabriel N. Gatica
ICSM
2008
IEEE
15 years 10 months ago
AutoFlow: An automatic debugging tool for AspectJ software
Aspect-oriented programming (AOP) is gaining popularity with the wider adoption of languages such as AspectJ. During AspectJ software evolution, when regression tests fail, it may...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao