21-30 of 14017 Matching Directory Listings
Online Documents & Forms
Serves as a virtual file cabinet for MxCC applications documents and forms. Comes in pdf formats.
http://www.mxcc.commnet.edu/documents/forms-index.shtml
Scalable Verification – Mentor Graphics
Explains the process of their standard-base verification structure for inspection of systems on chips. Indexes available products and evaluation services.
http://www.mentor.com/products/fv/index.cfm
Specification and Verification Center
School of Computer Science facility aims to invent new mathematically-based techniques, languages, and tools to model the behavior of systems.
http://www.cs.cmu.edu/~svc/
Bochum Verification Project
Presents an overview of the Bochum Verification Project, an effort that does applied-physics research for automatic sensor systems which could be used in the verification of disarmament and peace-keeping.
http://www.ep3.ruhr-uni-bochum.de/bvp/index.html
Computational Verification of the 3x+1 Conjecture
Provides information about the integers and their functions. Also shows news and computational results.
http://www.ieeta.pt/~tos/3x+1.html
CAV - The International Conference on Computer Aided Verification
Discusses the theories and practices of computer aided formal analysis methods for hardware and software systems.
http://www.cav-conference.org/
Goldbach Conjecture Verification
Provides the oldest unsolved problems in number theory. With news updates and computational results.
http://www.ieeta.pt/~tos/goldbach.html
HESSI Modal Survey FEM Verification
Technical data presented detailing the case study including details on items put to test and other evaluation processes.
http://www.navcon.com/CaseStudy_7.htm
Poetry Forms and Terminology
Offers inside information on links to descriptions and examples of poetry forms and patterns, to glossaries of literary terminology and rhetorical terms.
http://thewordshop.tripod.com/forms.html
PVS Specification and Verification System
Specification language integrated with support tools and a theorem prover. With documentation and download links.
http://pvs.csl.sri.com/
Zrharc! The Comment Word Verification Dictionary
Introducing various made up funny definitions to words, phrases, or statements.
http://zrharc.blogspot.com/
|
BOTW Sponsors
Your Ad Here - FREE Trial
|