Sciweavers

23004 search results - page 4225 / 4601
» Evaluation of Adaptive Systems
Sort
View
ALGORITHMICA
2006
163views more  ALGORITHMICA 2006»
15 years 7 months ago
Building Large Phylogenetic Trees on Coarse-Grained Parallel Machines
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...
Thomas M. Keane, Andrew J. Page, Thomas J. Naughto...
ENTCS
2008
170views more  ENTCS 2008»
15 years 7 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
EOR
2008
119views more  EOR 2008»
15 years 7 months ago
A novel mechanism for provisioning of high-level quality of service information in grid environments
Grids, like other heterogeneous systems, have reached the level of maturity where they are addressing the Quality of Service (QoS) provision aspect as a fundamental part of their ...
Konstantinos Tserpes, Dimosthenis Kyriazis, Andrea...
ESWA
2008
155views more  ESWA 2008»
15 years 7 months ago
Using GHSOM to construct legal maps for Taiwan's securities and futures markets
A good legal knowledge representation system, capable of effectively providing investors with comprehensive legal knowledge, is needed for investors to prevent erratic behavior be...
Jen-Ying Shih, Yu-Jung Chang, Wun-Hwa Chen
FGCS
2008
135views more  FGCS 2008»
15 years 7 months ago
An on-line replication strategy to increase availability in Data Grids
Data is typically replicated in a Data Grid to improve the job response time and data availability. Strategies for data replication in a Data Grid have previously been proposed, b...
Ming Lei, Susan V. Vrbsky, Xiaoyan Hong
« Prev « First page 4225 / 4601 Last » Next »