Výsledky vyhledávání - parallel cost program function code https

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Vydáno 2005

Obsah: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Získat plný text

Elektronický zdroj E-kniha

2

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Vydáno 2010

Obsah: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Získat plný text

Elektronický zdroj E-kniha

3

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Vydáno 2006

Obsah: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Získat plný text

Elektronický zdroj E-kniha

4

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Vydáno 2015

Obsah: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Získat plný text

Elektronický zdroj E-kniha

5

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

Vydáno 2014

Obsah: “... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”
Získat plný text

Elektronický zdroj E-kniha

6

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Vydáno 2006

Obsah: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Získat plný text

Elektronický zdroj E-kniha

7

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Vydáno 2013

Obsah: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Získat plný text

Elektronický zdroj E-kniha

8

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /

Vydáno 2010

Obsah: “...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”
Získat plný text

Elektronický zdroj E-kniha

9

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Vydáno 2010

Obsah: “... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”
Získat plný text

Elektronický zdroj E-kniha

10

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

Vydáno 2010

Obsah: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Získat plný text

Elektronický zdroj E-kniha

11

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

Vydáno 2015

Obsah: “... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”
Získat plný text

Elektronický zdroj E-kniha

12

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Vydáno 2006

Obsah: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Získat plný text

Elektronický zdroj E-kniha

13

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Vydáno 2008

Obsah: “... Multicast Cost Sharing Games -- Shortest Synchronizing Strings for Huffman Codes -- Optimizing Conjunctive...”
Získat plný text

Elektronický zdroj E-kniha

14

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

Vydáno 2008

Obsah: “... Processors and Application Parallelization -- Compilation Strategies for Reducing Code Size on a VLIW...”
Získat plný text

Elektronický zdroj E-kniha

15

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Vydáno 2010

Obsah: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Získat plný text

Elektronický zdroj E-kniha

16

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Vydáno 2005

Obsah: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Získat plný text

Elektronický zdroj E-kniha

17

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

Vydáno 2010

Obsah: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Získat plný text

Elektronický zdroj E-kniha

18

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Vydáno 2010

Obsah: “... with Non-smooth Fuel Cost Functions -- Hydro-thermal Commitment Scheduling by Tabu Search Method...”
Získat plný text

Elektronický zdroj E-kniha

19

Transactions on High-Performance Embedded Architectures and Compilers IV

Vydáno 2011

Obsah: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Získat plný text

Elektronický zdroj E-kniha

20

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

Vydáno 2015

Obsah: “... Languages -- Reverse Code Generation for Parallel Discrete Event Simulation -- Towards a Domain-Specific...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání