1
Published 2002
Table of Contents: ...Performing and Optimizing PCR -- Polymerase Chain Reaction -- Computer Programs for PCR Primer...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... with Graphic Processing Unit -- Optimizing Sweep3D for Graphic Processor Unit -- Modular Resultant Algorithm...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...Development of Improved Strains and Optimization of Fermentation Processes -- Experimental Design...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
8
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Colony Algorithm Guided by Lévy Flights Disturbance Strategy for Global Optimization -- Modeling...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Sensor Networks II -- Interplay of Processing and Routing in Aggregate Query Optimization for Sensor...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... and Heterogeneous Processor Rings -- Effect of Optimizations on Performance of OpenMP Programs -- Sparse Matrices...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
View full text
Electronic eBook