241 search results - page 33 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
78
Voted
ISSAC
2007
Springer
15 years 3 months 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
15 years 1 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...
172
click to vote
ACST
2006
14 years 11 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
15 years 3 months 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
15 years 2 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...