1227 search results - page 107 / 246 » Using Generation for Grammar Analysis and Error Detection |
123
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
While the new generation of hand-held devices, e.g., smart phones, support a rich set of applications, growing complexity of the hardware and runtime environment makes the devices...
126
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
130
Voted
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
190
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper investigates a Bayesian model and a Markov chain Monte Carlo (MCMC) algorithm for gene factor analysis. Each sample in the dataset is decomposed as a linear combination...
130
Voted
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...