Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
functionality based » functional based, functionality needs, functionality business
data programs » darpa programs, natal programs, java programs
based https » based http
programs functionality » program functionality, programs functional, properties functionality
functionality based » functional based, functionality needs, functionality business
data programs » darpa programs, natal programs, java programs
based https » based http
1
Published 2006
Table of Contents:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Deployment in Virtual Data Center -- A Resource Discovery Algorithm in Mobile Grid Computing Based on IP...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Performance Modeling and Analysis for Resource Scheduling in Data Grids -- Study on ?-Calculus Based Equipment...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
18
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook