1
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
View full text
Electronic eBook