3742 search results - page 49 / 749 » On the Use of Formal Techniques for Validation |
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
CHI
2003
ACM
16 years 5 days ago
2003
ACM
In evaluations of text entry methods, participants enter phrases of text using a technique of interest while performance data are collected. This paper describes and publishes (vi...
WWW
2006
ACM
16 years 15 days ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
105
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: As the number of fully sequenced genome increases, the need is greater for bioinformatics to predict or annotate genes of a newly sequenced genome. Ever since Eisenber...
104
click to vote
WSC
2007
15 years 2 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...