Søgeresultater - parallel programs 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 /

Udgivet 2010

Indholdsfortegnelse: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2007

Indholdsfortegnelse: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2005

Indholdsfortegnelse: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2014

Indholdsfortegnelse: “... Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs...”
Få fuldtekst

Electronisk eBog

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 /

Udgivet 2008

Indholdsfortegnelse: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

7

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

af Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Udgivet 2005

Indholdsfortegnelse: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2008

Indholdsfortegnelse: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2010

Indholdsfortegnelse: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2010

Indholdsfortegnelse: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2005

Indholdsfortegnelse: “... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2005

Indholdsfortegnelse: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Få fuldtekst

Electronisk eBog

13

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 /

Udgivet 2014

Indholdsfortegnelse: “... in Isabelle/HOL -- Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code...”
Få fuldtekst

Electronisk eBog

14

Transactions on High-Performance Embedded Architectures and Compilers IV

Udgivet 2011

Indholdsfortegnelse: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2010

Indholdsfortegnelse: “... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2007

Indholdsfortegnelse: “... of Graphs -- The Equitable Edge-Coloring of Series-Parallel Graphs -- A Low Complexity Intrusion Detection...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2014

Indholdsfortegnelse: “... Bluetooth Based Autonomous Mining System -- Transistor Representation of a Low Power Reversible 32-Bit...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2006

Indholdsfortegnelse: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2005

Indholdsfortegnelse: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning