Arama Sonuçları - parallel programming function resolution function https

Şunu mu demek istediniz:
parallel programming » parallel processing
programming function » programming functional , programming functionals , programme function
function resolution » functions resolution , junction resolution , function evolution
resolution function » resolution functional , resolution refutations , resolution simulation
function https » functions https , fiction https

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Tam Metin Erişim

Elektronik Ekitap

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Tam Metin Erişim

Elektronik Ekitap

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Tam Metin Erişim

Elektronik Ekitap

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...”
Tam Metin Erişim

Elektronik Ekitap

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

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”
Tam Metin Erişim

Elektronik Ekitap

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Tam Metin Erişim

Elektronik Ekitap

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Tam Metin Erişim

Elektronik Ekitap

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
Tam Metin Erişim

Elektronik Ekitap

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt