1026 search results - page 74 / 206 » A Methodology for Equational Reasoning |
DAC
2000
ACM
14 years 1 months ago
2000
ACM
This paper develops the noise-counterparts to familiar delay formulas like Elmore or PRIMO. By matching the first few moments of the network’s transfer impedance, we obtain effi...
CGI
1997
IEEE
14 years 1 months ago
1997
IEEE
A methodology for controlling uid animations is developed using the concept of an embedded controller. A controller acts as an interface between the animator and a general tool fo...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
— In this paper, a methodology for analyzing closed loop clock distribution and active deskewing networks is proposed. An active clock distribution and deskewing network is model...
EWC
2008
13 years 9 months ago
2008
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...