Sciweavers

16513 search results - page 243 / 3303
» Numerical Analysis Methods
Sort
View
ICWE
2007
Springer
16 years 20 days ago
A Survey of Analysis Models and Methods in Website Verification and Testing
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
ISSAC
2007
Springer
121views Mathematics» more  ISSAC 2007»
16 years 20 days ago
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
Eric Robinson, Daniel Kunkle, Gene Cooperman
CNSR
2006
IEEE
136views Communications» more  CNSR 2006»
16 years 17 days ago
Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
Qiang Ye, Mike H. MacGregor