241 search results - page 33 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
ISSAC
2007
Springer
14 years 26 days ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
SPIN
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
ACST
2006
13 years 8 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...
ISCAS
2006
IEEE
14 years 23 days ago
2006
IEEE
—On-die capacitances interact with the inductance and resistance of the power distribution network to supply electrical charge. A distributed model is generally required to analy...
NPAR
2000
ACM
13 years 11 months ago
2000
ACM
We present a novel method for generating performance-driven, “hand-drawn” animation in real-time. Given an annotated set of hand-drawn faces for various expressions, our algor...