1481 search results - page 258 / 297 » Enriching the Software Development Process by Formal Methods |
201
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
WWW
2007
ACM
16 years 15 days ago
2007
ACM
Scholarly entities, such as articles, journals, authors and institutions, are now mostly ranked according to expert opinion and citation data. The Andrew W. Mellon Foundation fund...
144
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
111
click to vote
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
103
click to vote
EUROSIM
1996
15 years 1 months ago
1996
This paper presents parallel algorithms for MPEG video compression by using the PVM library. Because of the huge amount of computation, a sequential software encoder is slow at th...