MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "VIS." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9,434 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • PhiVis PhiVis  
  • by Matlab Toolbox For
  • …://www.ncrg.aston.ac.uk/ PhiVis PhiVis A Matlab Toolbox for Hierarchical Data Visualization Software User Guide & Reference…
  • Add To MetaCart
  • The InfoVis Toolkist  
  • by Jean-daniel Fekete, Jean-daniel Fekete, Projet In-situ — 2003
  • …SN 0249-6399 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The InfoVis Toolkit…
  • Add To MetaCart
  • Vis at vektorfeltet F  
  • by Syddansk Universitet, Hans Jørgen Munkholm
  • …. Afleveringsopgaver uge 17 (9. sæt) Eksamen januar 1998 nr 4 og januar 1997 nr 6. Bonusopgave uge 17 Ordbog: Vis
  • Add To MetaCart
  • VisX Users Guide  
  • by Anthony Reeves School, Anthony P. Reeves
  • …VisX Users Guide Anthony P. Reeves School of Electrical Engineering Cornell University July 13…
  • Add To MetaCart
  • VIS : A System for Verification and Synthesis  
  • by Robert Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, Stephen Edwards — 1996
  • …Eight Conference on Computer Aided Verification (CAV'96), LNCS 1102, pp. 428-432, June 1996. VIS
  • Cited by 95 (22 self)Add To MetaCart
  • VIS: A System for Verification and Synthesis  
  • by Alberto Sangiovanni-Vincentelli, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Shaz Qadeer, Thomas R. Shiple, Gitanjali Swamy, Gary D. Hachtel, Fabio Somenzi, Abelardo Pardo, Rajeev K. Ranjan, Rajeev K. Ranjan, Robert K. Brayton, Robert K. Brayton — 1996
  • …Conference on Computer-Aided Verification - 96 Title: VIS : A System for Verification…
  • Add To MetaCart
  • Examples of Hardware Verification Using VIS  
  • by Abhijit Jas, Alper Sen, Cagdas Akturan, Chiabin Liu, Debaleena Das, I-min Liu, Jayanta Bhadra, Justin R. Denison, Kaustubh Das, Malay K. Ganai, Padmini Gopalakrishnan, Parminder S. Chhabra, Praveen K. Jaini, Rajat Chaudhry, Ram Narayan, Ritu Chaba, Sriraman Padmanabhan, Srivatsan Srinivasan, Wasim U. Quddus, Contact Person
  • … Examples of Hardware Verification Using VIS Abhijit Jas, Alper Sen, Anand Ramachandran, Cagdas…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB