1
Published 2012
Table of Contents: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...
View full text
Electronic eBook
4
Table of Contents: ... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Searching with Computational Resources Scattered over a Large-Scale Network....
View full text
Electronic eBook
6
Table of Contents: ...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...
View full text
Electronic eBook
9
by Borg, I., Borg, I., Groenen, P. J. F.
Published 2005
Table of Contents: ...Fundamentals of MDS -- The Four Purposes of Multidimensional Scaling -- Constructing MDS...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Performance Tools -- Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications...
View full text
Electronic eBook
11
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
12
Published 2005
Table of Contents: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Key Establishment Scheme for Large-Scale Mobile Wireless Sensor Networks -- Monitoring Information...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...
View full text
Electronic eBook