2218 search results - page 297 / 444 » Testing Expressibility Is Hard |
114
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
149
Voted
NAR
2007
15 years 2 months ago
2007
g:Profiler (http://biit.cs.ut.ee/gprofiler/) is a public web server for characterising and manipulating gene lists resulting from mining high-throughput genomic data. g:Profiler h...
141
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
221
Voted
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Typical web-database systems receive read-only queries, that generate dynamic web pages as a response, and writeonly updates, that keep information up-to-date. Users expect short ...
144
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...