Rezultaty - parallel programming count function function https

1

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

Wydane 2006

Spis treści: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Wydane 2005

Spis treści: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2005

Spis treści: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2006

Spis treści: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Wydane 2008

Spis treści: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2013

Spis treści: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2008

Spis treści: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Wydane 2010

Spis treści: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2015

Spis treści: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2010

Spis treści: “... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Wydane 2008

Spis treści: “... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2010

Spis treści: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Wydane 2014

Spis treści: “... with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2006

Spis treści: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Wydane 2006

Spis treści: “... Simple Polygon -- Counting Proportions of Sets: Expressive Power with Almost Order -- Efficient...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Wydane 2006

Spis treści: “..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Wydane 2013

Spis treści: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Wydane 2005

Spis treści: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Counting of Complex-Weighted Bounded-Degree Boolean CSPs -- A Randomized Algorithm for Weighted...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty