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 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and Store Media Files -- A Tool Supporting C code Parallelization -- Extending OpenMP for Agent Based DSM...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Approach to Storing and Querying XML Documents in Relational Databases -- Information Retrieval...
View full text
Electronic eBook