Sciweavers

1040 search results - page 61 / 208
» A Comparative Performance Evaluation of Write Barrier Implem...
Sort
View
PVM
2007
Springer
14 years 3 months ago
An Evaluation of Open MPI's Matching Transport Layer on the Cray XT
Open MPI was initially designed to support a wide variety of high-performance networks and network programming interfaces. Recently, Open MPI was enhanced to support networks that ...
Richard L. Graham, Ron Brightwell, Brian Barrett, ...
IJCNN
2006
IEEE
14 years 3 months ago
An Evaluation of Over-Fit Control Strategies for Multi-Objective Evolutionary Optimization
— The optimization of classification systems is often confronted by the solution over-fit problem. Solution over-fit occurs when the optimized classifier memorizes the traini...
Paulo Vinicius Wolski Radtke, Tony Wong, Robert Sa...
ENTCS
2002
91views more  ENTCS 2002»
13 years 9 months ago
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
Brigitte Pientka
ICFP
2005
ACM
14 years 9 months ago
AtomCaml: first-class atomicity via rollback
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
Michael F. Ringenburg, Dan Grossman
MSS
2005
IEEE
112views Hardware» more  MSS 2005»
14 years 2 months ago
Violin: A Framework for Extensible Block-Level Storage
Storage virtualization is becoming more and more important due to the increasing gap between application requirements and the limited functionality offered by storage systems. In...
Michail Flouris, Angelos Bilas