1
Published 2010
Table of Contents: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Consumption of I/O Functions in Embedded Applications -- An Application-Aware Cache Replacement Policy...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Systems -- 2 New Parallel Matrix Multiplication Algorithms for Wormhole-Routed All-Port 2D/3D Torus...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... -- 9. Optimal Replacement and Protection Strategy for Parallel Systems -- 10. Heuristic Optimization...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... -- Targeted Gene Replacement in Fungi Using a Split-Marker Approach -- Massively Parallel Sequencing...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... -- Optimization of Livestock Feed by Blend of Linear Programming and SOMGA -- Earthquake Data Sorting with Minimum...
View full text
Electronic eBook