Rezultaty - processing compositional problems microprocessor a https

Inne możliwości wyszukiwania:
processing compositional » processing composition , processing computational , process compositional
problems microprocessor » homkes microprocessor , power microprocessor
compositional problems » computational problems , composition problem , compositional process
microprocessor a » microprocessors a , microprocessor _, microprocessors _
https » http

Intelligent Technologies and Engineering Systems

Wydane 2013

Spis treści: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland /

Wydane 2013

Spis treści: “... Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class...”
Dokumenty pełnotekstowe

Elektroniczne E-book

High Performance Computing - HiPC 2006 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings /

Wydane 2006

Spis treści: “... Implementation of a Spline Based Computational Approach for Singular Perturbation Problems -- Collaborative Grid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Wydane 2005

Spis treści: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Dokumenty pełnotekstowe

Elektroniczne E-book

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings /

Wydane 2005

Spis treści: “... Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Wydane 2014

Spis treści: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty