Sciweavers

47 search results - page 1 / 10
» pads 2006
Sort
View
PADS
2006
ACM
15 years 5 months ago
Using Abstraction in the Verification of Simulation Coercion
Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan
73
Voted
PADS
2006
ACM
15 years 5 months ago
A Case Study in Understanding OSPF and BGP Interactions Using Efficient Experiment Design
David W. Bauer, Murat Yuksel, Christopher D. Carot...
NA
2006
59views more  NA 2006»
14 years 11 months ago
On the fast solution of Toeplitz-block linear systems arising in multivariate approximation theory
When constructing multivariate Pad
Stefan Becuwe, Annie A. M. Cuyt