861 search results - page 86 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
173
click to vote
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
Stochastic context-free grammars (SCFGs) have long been recognized as useful for a large variety of tasks including natural language processing, morphological parsing, speech reco...
142
click to vote
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Preliminary to most comparative genomics studies is the annotation of chromosomes as ordered sequences of genes. Unfortunately, different genetic mapping techniques usual...
203
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
234
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
125
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...