6142 search results - page 261 / 1229 » The Complexity of Partition Functions |
160
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
180
Voted
BMCBI
2006
15 years 6 months ago
2006
Background: Gene Ontology (GO) characterizes and categorizes the functions of genes and their products according to biological processes, molecular functions and cellular componen...
178
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Sprint is a middleware infrastructure for high performance and high availability data management. It extends the functionality of a standalone in-memory database (IMDB) server to ...
177
click to vote
ICSEA
2007
IEEE
16 years 12 days ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
124
click to vote
OTM
2007
Springer
16 years 6 days ago
2007
Springer
Optimistic distributed systems often rely on version vectors or their variants in order to track updates on replicated objects. Some of these mechanisms rely on some form of global...