1
Published 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Balancing and Computing Strategies in Pipeline Optimization for Parallel Visualization of 3D Irregular...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... on a Massively Parallel Embedded Processor -- Stream Image Processing on a Dual-Core Embedded System...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...A Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...
View full text
Electronic eBook
8
Published 2012
Table of Contents: ... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- Evaluation of a Java Computer Algebra System -- A New Property of Hamming Graphs and Mesh of d-ary Trees...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
View full text
Electronic eBook
12
Published 2005
Table of Contents: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Method Using Sensor Data for Symbiotic Healthcare Support System -- 3D Collaboration Environment Based...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook