Bilaketaren emaitzak - parallel recursive path functionality function https

Iradokizunak:
functionality function » functionals function , functionaries function , functional functions
parallel recursive » partial recursive
path functionality » paste functionality , its functionality , a functionality
recursive path » recursive state
function https » functions https , fiction https

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

Argitaratua 2010

Aurkibidea: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Testu osoa

Baliabide elektronikoa eBook

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
Testu osoa

Baliabide elektronikoa eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Argitaratua 2008

Aurkibidea: “... Architecture -- A Scalable Methodology for Computing Fault-Free Paths in InfiniBand Torus Networks -- Using a...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2005

Aurkibidea: “... Polynomial Runtime Properties -- Resource Bound Certification for a Tail-Recursive Virtual Machine -- A Path...”
Testu osoa

Baliabide elektronikoa eBook

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Testu osoa

Baliabide elektronikoa eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Argitaratua 2005

Aurkibidea: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2008

Aurkibidea: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2013

Aurkibidea: “... Recursive Probabilistic Systems.- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model...”
Testu osoa

Baliabide elektronikoa eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... Constraints -- Recursive Path Orderings Can Also Be Incremental -- Automating Coherent Logic -- The Theorema...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2014

Aurkibidea: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Testu osoa

Baliabide elektronikoa eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Argitaratua 2005

Aurkibidea: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2006

Aurkibidea: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Testu osoa

Baliabide elektronikoa eBook

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu