Sciweavers

12897 search results - page 2473 / 2580
» Multi-Torrent: A Performance Study
Sort
View
CASCON
1993
106views Education» more  CASCON 1993»
14 years 3 days ago
Enterprise in context: assessing the usability of parallel programming environments
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...
Gregory V. Wilson, Jonathan Schaeffer, Duane Szafr...
FORTE
1994
14 years 3 days ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
BIBE
2010
IEEE
144views Bioinformatics» more  BIBE 2010»
13 years 12 months ago
Knowledge-Guided Docking of Flexible Ligands to SH2 Domain Proteins
Studies of interactions between protein domains and ligands are important in many aspects such as cellular signaling and regulation. In this work, we applied a three-stage knowledg...
Haiyun Lu, Shamima Banu Bte Sm Rashid, Hao Li, Wee...
CCGRID
2010
IEEE
13 years 12 months ago
An MPI-Stream Hybrid Programming Model for Computational Clusters
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
Emilio Pasquale Mancini, Gregory Marsh, Dhabaleswa...
GECCO
2008
Springer
206views Optimization» more  GECCO 2008»
13 years 12 months ago
Improving accuracy of immune-inspired malware detectors by using intelligent features
In this paper, we show that a Bio-inspired classifier’s accuracy can be dramatically improved if it operates on intelligent features. We propose a novel set of intelligent feat...
M. Zubair Shafiq, Syed Ali Khayam, Muddassar Faroo...
« Prev « First page 2473 / 2580 Last » Next »