3229 search results - page 40 / 646 » Mixing |
99
Voted
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper presents the development of some frontend analog circuits for mixed signals systems. The paper proposes the use of externally linear, internally nonlinear analog circui...
80
Voted
CADE
1994
Springer
15 years 4 months ago
1994
Springer
We present a completion-based method for handling a new version of E-unification, called "mixed" E-unification, that is a combination of the classical "universal&quo...
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
114
click to vote
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
107
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...