1412 search results - page 80 / 283 » types 2004 |
135
click to vote
DAS
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
140
Voted
DNA
2004
Springer
15 years 10 months ago
2004
Springer
The extraction of DNA strands including a given sequence of bases is a crucial step in the Adleman-Lipton extract model of DNA computing. In this paper, a special type of PCR is pr...
134
click to vote
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes how Condor-pools could be joined together to form a large computational cluster-grid. In the architecture Jini provides the infrastructure for resource lookup,...
139
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we show that data races, a type of bug that generally only causes havoc in parallel programs, can also occur in sequential programs that use signal handlers. Fortunat...
221
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...