Kết quả tìm kiếm - parallel directing programs function functional https

Tìm kiếm thay thế:
function functional » functions functional , fractional functional , nutrition functional
parallel directing » parallel direct , parallel routing , parallel sorting
directing programs » parenting programs , selecting programs , breeding programs
programs function » programs functional , programme function , programs fiction
functional https » functions https , function https , functional hop

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Được phát hành 2007

Mục lục: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
lấy văn bản

Điện tử eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Được phát hành 2010

Mục lục: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
lấy văn bản

Điện tử eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Được phát hành 2008

Mục lục: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
lấy văn bản

Điện tử eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Được phát hành 2005

Mục lục: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
lấy văn bản

Điện tử eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Được phát hành 2008

Mục lục: “... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2006

Mục lục: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
lấy văn bản

Điện tử eBook

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Được phát hành 2014

Mục lục: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
lấy văn bản

Điện tử eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
lấy văn bản

Điện tử eBook

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Được phát hành 2005

Mục lục: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
lấy văn bản

Điện tử eBook

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Được phát hành 2013

Mục lục: “... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...”
lấy văn bản

Điện tử eBook

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
lấy văn bản

Điện tử eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2008

Mục lục: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... for the Directed k-Tour and k-Stroll Problems -- Submodular Secretary Problem and Extensions -- Approximation...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp