3736 search results - page 655 / 748 » Hand-Writing Program Generator Generators |
186
click to vote
KDD
2003
ACM
16 years 5 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
137
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
Data clustering methods have been proven to be a successful data mining technique in the analysis of gene expression data. The Cluster affinity search technique (CAST) developed b...
136
click to vote
STOC
2007
ACM
16 years 5 months ago
2007
ACM
This work is at the intersection of two lines of research. One line, initiated by Dinur and Nissim, investigates the price, in accuracy, of protecting privacy in a statistical dat...
150
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
164
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...