1
Published 2006
Table of Contents: ...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
View full text
Electronic eBook
3
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
4
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Formation Using Cellular Automata and L-Systems: A Case Study in Producing Islamic Patterns -- Interactive...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
9
Table of Contents: ... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension -- Fast...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
13
Published 2011
Table of Contents: ....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... of Stable Models -- The DLV Project: A Tour from Theory and Research to Applications and Market -- Using...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... -- Predictability of Firm Financial Sustainability Using Artificial Neural Networks: The Case of Qatar Exchange...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...
View full text
Electronic eBook