114 search results - page 10 / 23 » Symbolic Simulation: An ACL2 Approach |
INFORMATICALT
2008
13 years 7 months ago
2008
Abstract. A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part i...
ANSS
1997
IEEE
13 years 11 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
WSC
1997
13 years 8 months ago
1997
Outcomes of this modeling research are the ability to facilitate comparisons of investment alternatives or strategies; regarding primary targets, possible annual revenues, promoti...
CAV
2003
Springer
14 years 18 days ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
TCOM
2010
13 years 5 months ago
2010
Abstract—This paper considers the problem of Gaussian symbols detection in MIMO systems in the presence of channel estimation errors. Under this framework we develop a computatio...