2836 search results - page 503 / 568 » Model Checking for Software Architectures |
124
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
167
Voted
FMSP
2000
ACM
15 years 9 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
142
click to vote
ICCL
1998
IEEE
15 years 9 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
149
click to vote
DNA
2007
Springer
15 years 9 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
182
click to vote
FPGA
2008
ACM
15 years 6 months ago
2008
ACM
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...