2138 search results - page 339 / 428 » Logical Step-Indexed Logical Relations |
153
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
248
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
148
Voted
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
125
Voted
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
The XML support in relational databases and the SQL/XML language are still relatively new as compared to purely relational databases and traditional SQL. Today, most database user...
144
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...