Canlyniadau Chwilio - function computation concurrent programming ((array string) OR (query processing))

Chwilio eraill:
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
concurrent programming » constraint programming , concurrent programs
function computation » function computing , function decomposition , section computational
query processing » fishery processing
array string » array strong , arrays strings , array sharing

Information Processing and Management International Conference on Recent Trends in Business...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Proximity Heuristics and Semantic Association of Query-Terms -- Network Management Initialization for Wired...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent...”
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

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
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: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Cael y testun llawn

Electronig eLyfr

Proceedings of International Conference on Internet Computing and Information Communications ICICIC Global 2012 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...”
Cael y testun llawn

Electronig eLyfr

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International...

Cyhoeddwyd 2005

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

Electronig eLyfr

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... of Agglomerative Scheduling in Concurrent Processing of Frequent Itemset Queries -- Analysis of the Structure...”
Cael y testun llawn

Electronig eLyfr

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...”
Cael y testun llawn

Electronig eLyfr

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010...

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”
Cael y testun llawn

Electronig eLyfr

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Concurrent Real-Time System Specifications for Verification -- Slotted-Circus -- Bug Hunting with False...”
Cael y testun llawn

Electronig eLyfr

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...”
Cael y testun llawn

Electronig eLyfr

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
Cael y testun llawn

Electronig eLyfr

Data Engineering Issues in E-Commerce and Services Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006 /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Data Warehouse -- Remote-Specific XML Query Mobile Agents -- Business Models and Analysis -- A Process...”
Cael y testun llawn

Electronig eLyfr

Database and Expert Systems Applications 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Sensitive Hashing -- Efficient Fuzzy Top-k Query Processing over Uncertain Objects -- Performance and Power...”
Cael y testun llawn

Electronig eLyfr

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Case -- CSR: Discovering Subsumption Relations for the Alignment of Ontologies -- Query Processing...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad