Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
parallel simulation » parallel computation
functionality based » functional based, functionality needs, functionality business
simulation program » education program
based https » based http
program functionality » protein functionality, programs functional, supra functionality
parallel simulation » parallel computation
functionality based » functional based, functionality needs, functionality business
simulation program » education program
based https » based http
1
Published 2010
Table of Contents:
“... Simulation Algorithm for Cache of Random Replacement Policy -- DABGPM: A Double Auction Bayesian Game-Based...”View full text
Electronic
eBook
2
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
3
Published 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”View full text
Electronic
eBook
6
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
7
Published 2005
Table of Contents:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Bug Reproducing Method for the Debugging of Component-Based Parallel Discrete Event Simulation...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”View full text
Electronic
eBook
10
Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International...
Published 2008
Table of Contents:
“... and Implementation of a Web Services-Based Framework Using Remoting Patterns -- Simulation of Tsunami and Flash...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
16
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
18
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”View full text
Electronic
eBook