Sciweavers

16513 search results - page 243 / 3303
» Numerical Analysis Methods
Sort
View
135
Voted
ICWE
2007
Springer
16 years 1 months 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 1 months 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 1 months 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