Arama Sonuçları - parallel binary program function ((functional https) OR (function https))

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...”
Tam Metin Erişim

Elektronik Ekitap

16

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Tam Metin Erişim

Elektronik Ekitap