1
Veröffentlicht 2012
Schlagworte: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2013
Inhaltsangabe: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2010
Inhaltsangabe: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2014
Inhaltsangabe: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2015
Inhaltsangabe: ... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2013
Inhaltsangabe: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2010
Inhaltsangabe: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2013
Inhaltsangabe: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2006
Inhaltsangabe: ... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2007
Inhaltsangabe: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2005
Inhaltsangabe: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2006
Inhaltsangabe: ... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...
Volltext
Elektronisch E-Book
16
von Raynal, Michel., Raynal, Michel.
Veröffentlicht 2013
Inhaltsangabe: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2008
Inhaltsangabe: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2014
Schlagworte: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2007
Inhaltsangabe: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Volltext
Elektronisch E-Book