MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Verification" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 57,422 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Verification:  
  • by Evaluation Matthew Gibble, Matthew Gibble, John C. Knight, Lus G. Nakano, Colleen Dejong
  • …FORMAL VERIFICATION: AN EVALUATION Matthew Gibble, John C. Knight, Lus G. Nakano, Colleen De…
  • Add To MetaCart
  • Verification  
  • by Nachiket Urdhwareshe — 2006
  • …Hardware Verification Tools: An Introduction Nachiket Urdhwareshe February 2006 CAD for VLSI…
  • Add To MetaCart
  • Verification  
  • by Amit K. Chopra
  • ….11 [Artificial Intelligence]: Distributed artificial intelligence—Multiagent systems General Terms Verification…
  • Add To MetaCart
  • On Formal Verification of . . .  
  • by Kamal, Y. I. Chang — 1993
  • … to be incorrect and rigorous verification techniques are needed. In this paper, we have used recently developed…
  • Add To MetaCart
  • Verification Codes  
  • by Michael Luby, Michael Mitzenmacher — 2002 — Proc. Allerton Conf. on Communication, Control, and Computing
  • …Verification Codes Michael Luby* Michael Mitzenmacher t Abstract Most work in low-density parity…
  • Cited by 1 (0 self) – Add To MetaCart
  • Wrapper Verification  
  • by Contact Nicholas Kushmerick, Nicholas Kushmerick — 2000 — World Wide Web Journal
  • …Nicholas Kushmerick, Wrapper verification 1 Cover Page to appear: World Wide Web Journal title…
  • Cited by 31 (4 self) – Add To MetaCart
  • Signature Verification  
  • by Fritz Thelusma And, Fritz Thelusma, Sayan Mukherjee
  • …Signature Verification Fritz Thelusma and Sayan Mukherjee Artificial Intelligence Laboratory…
  • Add To MetaCart
  • Verification and Validation  
  • by Alfs T. Berztiss
  • …This chapter complements the chapters on technical reviews and software reliability engineering in Volume 1 of the handbook. It is primarily concerned with the verification of code by means of testing, but an example of an informal proof of a program is also given. A practitioner's view of testing i…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB