1
Published 2010
Table of Contents: ... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Abstract) -- Sparse Approximate Solutions to Semidefinite Programs -- On the Facets of Mixed Integer...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... -- Adding Compression and Blended Search to a Compact Two-Level Suffix Array -- You are what you eat...
View full text
Electronic eBook
6
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Visual Metrics to Selecting ICA Basis for Image Compression: A Comparative Study -- Knowledge Acquisition...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook