Suchergebnisse - programs computer program microprocessor based https

1

Parallel Programming for Multicore and Cluster Systems /

von Rauber, Thomas., Rauber, Thomas., Rünger, Gudula.
Veröffentlicht 2010

Inhaltsangabe: “...Parallel Computer Architecture -- Parallel Programming Models -- Performance Analysis of Parallel...”
Volltext

Elektronisch E-Book

2

Parallel Programming for Multicore and Cluster Systems /

von Rauber, Thomas., Rauber, Thomas., Rünger, Gudula.
Veröffentlicht 2013

Inhaltsangabe: “...Introduction -- Parallel Computer Architecture -- Parallel Programming Models -- Performance...”
Volltext

Elektronisch E-Book

3

R for Cloud Computing An Approach for Data Scientists /

von Ohri, A., Ohri, A.
Veröffentlicht 2014

Inhaltsangabe: “...Introduction -- An Approach for Data Scientists -- Navigating the Choices in R and Cloud Computing...”
Volltext

Elektronisch E-Book

4

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Time Stochastic Hybrid Systems -- Output-Based Optimal Timing Control of Switched Systems -- Hybrid...”
Volltext

Elektronisch E-Book

5

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings /

Veröffentlicht 2007

Schlagworte: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Volltext

Elektronisch E-Book

6

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Volltext

Elektronisch E-Book

7

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Control Approach Based on Feasibility -- Reachability of Uncertain Linear Systems Using Zonotopes...”
Volltext

Elektronisch E-Book

8

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9...

Veröffentlicht 2008

Inhaltsangabe: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Volltext

Elektronisch E-Book

9

Modern Compiler Design

von Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Veröffentlicht 2012

Inhaltsangabe: “...Introduction -- Program Text to Tokens— Lexical Analysis -- Tokens to Syntax Tree— Syntax Analysis...”
Volltext

Elektronisch E-Book

10

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Veröffentlicht 2005

Inhaltsangabe: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Volltext

Elektronisch E-Book

11

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference...

Veröffentlicht 2005

Inhaltsangabe: “... -- Parallel Implementation of a Fuzzy Rule Based Classifier -- 3: Grid Computing Infrastructure -- The EGEE...”
Volltext

Elektronisch E-Book

12

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

von Ma, Zhe., Ma, Zhe., Marchal, Pol., Scarpazza, Daniele Paolo., Yang, Peng., Wong, Chun., Gómez, José Ignacio., Himpe, Stefaan., Ykman-Couvreur, Chantal., Catthoor, Francky.
Veröffentlicht 2007

Schlagworte: “...Programming languages (Electronic computers)....”
Volltext

Elektronisch E-Book

13

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...”
Volltext

Elektronisch E-Book

14

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Veröffentlicht 2005

Inhaltsangabe: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Volltext

Elektronisch E-Book

15

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Veröffentlicht 2008

Inhaltsangabe: “... Programs for Path-Delay Faults in Microprocessors -- EvoIASP Contributions -- Evolutionary Object Detection...”
Volltext

Elektronisch E-Book

16

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “... in Extended Measurement-based Quantum Computation -- A Fully Fault-Tolerant Representation of Quantum Circuits...”
Volltext

Elektronisch E-Book

17

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”
Volltext

Elektronisch E-Book

18

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures /

von Wang, Endong., Wang, Endong., Zhang, Qing., Shen, Bo., Zhang, Guangyong., Lu, Xiaowei., Wu, Qing., Wang, Yajuan.
Veröffentlicht 2014

Inhaltsangabe: “...Part 1: Fundamental Concepts of MIC -- 1 High-performance Computing( HPC) with MIC -- 2 MIC...”
Volltext

Elektronisch E-Book

19

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Veröffentlicht 2005

Inhaltsangabe: “... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”
Volltext

Elektronisch E-Book

20

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...”
Volltext

Elektronisch E-Book

Suche einschränken