Sciweavers

17740 search results - page 133 / 3548
» Simulation Using Orchestration
Sort
View
SIGADA
1998
Springer
15 years 6 months ago
Use of Ada in Digital Radar Landmass Simulation (DRLMS)
Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom...
ICCD
1996
IEEE
83views Hardware» more  ICCD 1996»
15 years 6 months ago
The use of random simulation in formal verification
Florian Krohm, Andreas Kuehlmann, Arjen Mets
66
Voted
DAC
1994
ACM
15 years 6 months ago
An Efficient Approach to Transmission Line Simulation Using Measured or Tabulated S-parameter Data
Luis Miguel Silveira, Ibrahim M. Elfadel, Jacob Wh...