3082 search results - page 602 / 617 » Deviation Analysis: A New Use of Model Checking |
174
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
The rapid increase in the data volumes for the past few decades has intensified the need for high processing power for database and data mining applications. Researchers have acti...
IISWC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
103
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: Although there are a large number of thesauri for the biomedical domain many of them lack coverage in terms and their variant forms. Automatic thesaurus construction b...