Resultats de la cerca - parallel programming https functions low https

1

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Publicat 2010

Taula de continguts: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Obtenir text complet

Electrònic eBook

2

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Publicat 2007

Taula de continguts: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Obtenir text complet

Electrònic eBook

3

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Publicat 2005

Taula de continguts: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Obtenir text complet

Electrònic eBook

4

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicat 2014

Taula de continguts: “... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”
Obtenir text complet

Electrònic eBook

5

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers /

Publicat 2008

Taula de continguts: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Obtenir text complet

Electrònic eBook

6

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

per Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Publicat 2005

Taula de continguts: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Obtenir text complet

Electrònic eBook

7

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Obtenir text complet

Electrònic eBook

8

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicat 2015

Taula de continguts: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obtenir text complet

Electrònic eBook

9

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Publicat 2010

Taula de continguts: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Obtenir text complet

Electrònic eBook

10

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Publicat 2010

Taula de continguts: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Obtenir text complet

Electrònic eBook

11

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...”
Obtenir text complet

Electrònic eBook

12

Transactions on High-Performance Embedded Architectures and Compilers IV

Publicat 2011

Taula de continguts: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Obtenir text complet

Electrònic eBook

13

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Publicat 2010

Taula de continguts: “... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”
Obtenir text complet

Electrònic eBook

14

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Publicat 2010

Taula de continguts: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Obtenir text complet

Electrònic eBook

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Publicat 2007

Taula de continguts: “... of Graphs -- The Equitable Edge-Coloring of Series-Parallel Graphs -- A Low Complexity Intrusion Detection...”
Obtenir text complet

Electrònic eBook

16

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Publicat 2014

Taula de continguts: “... Bluetooth Based Autonomous Mining System -- Transistor Representation of a Low Power Reversible 32-Bit...”
Obtenir text complet

Electrònic eBook

17

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...

Publicat 2005

Taula de continguts: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Obtenir text complet

Electrònic eBook

18

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 /

Publicat 2014

Taula de continguts: “... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...”
Obtenir text complet

Electrònic eBook

19

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Obtenir text complet

Electrònic eBook

20

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publicat 2005

Taula de continguts: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Obtenir text complet

Electrònic eBook

Refinar cerca