Результаты поиска - parallel programs 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 /

Опубликовано 2006

Оглавление: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2005

Оглавление: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Полный текст

Электронный ресурс eКнига

3

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

Опубликовано 2005

Оглавление: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2006

Оглавление: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2008

Оглавление: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Полный текст

Электронный ресурс eКнига

6

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

Опубликовано 2013

Оглавление: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2015

Оглавление: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2008

Оглавление: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Полный текст

Электронный ресурс eКнига

9

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

Опубликовано 2010

Оглавление: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2010

Оглавление: “... of Approximately Counting Stable Matchings -- Constant Approximation Algorithms for Embedding Graph Metrics...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2014

Оглавление: “... with Polarizationless P Systems with Active Membranes -- Categorised Counting Mediated by Blotting Membrane Systems...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2008

Оглавление: “... Functions for Flow Time Scheduling Based on Active Job Count -- Facility Location in Dynamic Geometric Data...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2006

Оглавление: “... Simple Polygon -- Counting Proportions of Sets: Expressive Power with Almost Order -- Efficient...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2006

Оглавление: “..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2013

Оглавление: “...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2010

Оглавление: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Полный текст

Электронный ресурс eКнига

17

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

Опубликовано 2006

Оглавление: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Полный текст

Электронный ресурс eКнига

18

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

Опубликовано 2005

Оглавление: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Полный текст

Электронный ресурс eКнига

19

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

Опубликовано 2005

Оглавление: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Полный текст

Электронный ресурс eКнига

20

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

Опубликовано 2010

Оглавление: “... Counting of Complex-Weighted Bounded-Degree Boolean CSPs -- A Randomized Algorithm for Weighted...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска