8232 search results - page 1321 / 1647 » Dynamic Logic Programming |
207
click to vote
COORDINATION
2004
Springer
16 years 18 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...
164
click to vote
IWMM
2004
Springer
16 years 17 days 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 ...
253
click to vote
SPIN
2004
Springer
16 years 16 days 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...
179
click to vote
CSB
2003
IEEE
16 years 15 days 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 ...
196
click to vote
ICPP
2003
IEEE
16 years 14 days 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...