Sciweavers

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