899 search results - page 161 / 180 » Cost Analysis of Games, Using Program Logic |
128
click to vote
AGP
1999
IEEE
15 years 5 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
106
click to vote
ASAP
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
121
click to vote
BMCBI
2010
15 years 1 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...
112
click to vote
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
114
click to vote
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...