Canlyniadau Chwilio - parallel querying programs functionals function https

Chwilio eraill:
programs functionals » programs functional , programming functionals , program functionality
functionals function » function function , functions functional , function dysfunction
parallel querying » parallel queueing , parallel query , parallel sequencing
querying programs » emerging programs , verifying programs , breeding programs
function https » functions https , fiction https

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...”
Cael y testun llawn

Electronig eLyfr

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Cael y testun llawn

Electronig eLyfr

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Cael y testun llawn

Electronig eLyfr

Expert F# 4.0

gan Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Cyhoeddwyd 2015

Pynciau: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”
Cael y testun llawn

Electronig eLyfr

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Cael y testun llawn

Electronig eLyfr

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
Cael y testun llawn

Electronig eLyfr

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...: Multiplicatives -- First-Order Queries over One Unary Function -- Infinite State Model-Checking of Propositional...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Queries over Trees Using Schema Information -- Clustering with Partial Information -- Reoptimization...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
Nesaf »
[4]

Manylu'r Chwiliad