3082 search results - page 602 / 617 » Deviation Analysis: A New Use of Model Checking |
246
Voted
ICDE
2006
IEEE
16 years 5 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...
144
Voted
IISWC
2009
IEEE
15 years 10 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...
132
Voted
IPPS
2008
IEEE
15 years 10 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...
138
Voted
SIGIR
2005
ACM
15 years 9 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 ...
156
Voted
BMCBI
2008
15 years 3 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...