1596 search results - page 151 / 320 » Quantum property testing |
165
click to vote
ICST
2009
IEEE
16 years 27 days ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
146
click to vote
IJCNN
2008
IEEE
16 years 19 days ago
2008
IEEE
— The purpose of this study was to develop a product design model for impact toughness estimation of low-alloy steel plates. Based on these estimates, the rejection probability o...
210
click to vote
WISE
2008
Springer
16 years 18 days ago
2008
Springer
Semantic relatedness measures quantify the degree in which some words or concepts are related, considering not only similarity but any possible semantic relationship among them. Re...
169
click to vote
GLOBECOM
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—Intuitively, identification of nodes close to the network edge is key to the successful setup, and continued operation, of many sensor network protocols and application...
176
click to vote
TASE
2007
IEEE
16 years 15 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...