261 search results - page 16 / 53 » The Microsoft Database Research Group |
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
We explored whether Fisher and Durrance’s [11] framework of information communities applies to online technical newsgroups and the impact of particular social types on informati...
BMCBI
2007
14 years 10 months ago
2007
Background: Extracting biological information from high-density Affymetrix arrays is a multi-step process that begins with the accurate annotation of microarray probes. Shortfalls...
160
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...