6608 search results - page 1105 / 1322 » On the Completeness of Model Checking |
181
click to vote
ASPLOS
1994
ACM
15 years 8 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
137
click to vote
WSC
1998
15 years 6 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
136
click to vote
BIS
2009
15 years 5 months ago
2009
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
152
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: With the completion of the HapMap project, a variety of computational algorithms and tools have been proposed for haplotype inference, tag SNP selection and genome-wid...
171
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Recent advances and automation in DNA sequencing technology has created a vast amount of DNA sequence data. This increasing growth of sequence data demands better and ...