Rezultaty - functions computation concurrent programming ((array string) OR (query processing))*

Inne możliwości wyszukiwania:
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
concurrent programming » constraint programming , concurrent programs
functions computation » function computation , functions composition , function composition
query processing » fishery processing
array string » array strong , arrays strings , array sharing

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

Wydane 2010

Spis treści: “... of Proximity Heuristics and Semantic Association of Query-Terms -- Network Management Initialization for Wired...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “... -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... for Concurrency Control in Computer Aided Design Database -- Performance Study of Combined Artificial Neural...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2005

Spis treści: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... of Agglomerative Scheduling in Concurrent Processing of Frequent Itemset Queries -- Analysis of the Structure...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... features values -- IX Concurrent Parallel Processing -- Parallelization of a Block Cipher Based on Chaotic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...Agent-Based Service Composition in Cloud Computing -- Video Adaptation Model Based on Cognitive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Concurrent Real-Time System Specifications for Verification -- Slotted-Circus -- Bug Hunting with False...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “...Invited Talks -- Graphs from Search Engine Queries -- Model-Checking Large Finite-State Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Data Warehouse -- Remote-Specific XML Query Mobile Agents -- Business Models and Analysis -- A Process...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... Sensitive Hashing -- Efficient Fuzzy Top-k Query Processing over Uncertain Objects -- Performance and Power...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Case -- CSR: Discovering Subsumption Relations for the Alignment of Ontologies -- Query Processing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty