8232 search results - page 1321 / 1647 » Dynamic Logic Programming |
178
click to vote
COORDINATION
2004
Springer
16 years 1 days ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
144
click to vote
IWMM
2004
Springer
16 years 9 hour ago
2004
Springer
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
227
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
161
click to vote
CSB
2003
IEEE
15 years 12 months ago
2003
IEEE
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...
171
click to vote
ICPP
2003
IEEE
15 years 12 months ago
2003
IEEE
Pairwise sequence alignment is a fundamental operation for homology search in bioinformatics. For two DNA or protein sequences of length ¢ and £ , full-matrix (FM), dynamic prog...