242 search results - page 12 / 49 » Verification via Structure Simulation |
AINA
2003
IEEE
14 years 1 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
WSC
2004
13 years 11 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
HYBRID
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
ICASSP
2010
IEEE
13 years 4 months ago
2010
IEEE
Cooperative communication with multi-antenna relays can significantly increase the reliability and speed. However, cooperative MIMO detection would impose considerable complexity o...
DAC
2003
ACM
14 years 11 months ago
2003
ACM
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...