10910 search results - page 7 / 2182 » Input modeling using a computer algebra system |
143
Voted
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
158
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
172
click to vote
DSN
2007
IEEE
16 years 4 days ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
144
click to vote
CHINZ
2006
ACM
15 years 11 months ago
2006
ACM
Although the 2D desktop metaphor has been the dominating paradigm of user interfaces for over two decades, 3D models of interaction are becoming more feasible due to advances in c...
167
Voted
DISCO
1992
15 years 10 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...