Rezultati - parallel programming binary function functions https

1

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Izdano 2010

Kazalo: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2005

Kazalo: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Polni tekst

Elektronski eKnjiga

3

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

Izdano 2014

Kazalo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Polni tekst

Elektronski eKnjiga

4

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Izdano 2014

Kazalo: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2008

Kazalo: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2006

Kazalo: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Polni tekst

Elektronski eKnjiga

7

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Izdano 2005

Kazalo: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Polni tekst

Elektronski eKnjiga

8

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

Izdano 2008

Kazalo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2008

Kazalo: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Polni tekst

Elektronski eKnjiga

11

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Izdano 2010

Kazalo: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Polni tekst

Elektronski eKnjiga

12

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Izdano 2007

Kazalo: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2010

Kazalo: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Polni tekst

Elektronski eKnjiga

14

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Izdano 2005

Kazalo: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2005

Kazalo: “... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...”
Polni tekst

Elektronski eKnjiga

16

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Izdano 2014

Kazalo: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2010

Kazalo: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Polni tekst

Elektronski eKnjiga

18

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

Izdano 2007

Kazalo: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Polni tekst

Elektronski eKnjiga

19

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

Izdano 2014

Kazalo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Polni tekst

Elektronski eKnjiga

20

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

Izdano 2006

Kazalo: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje