Arama Sonuçları - parallel processing https function rewriting https

1

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
Tam Metin Erişim

Elektronik Ekitap

2

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”
Tam Metin Erişim

Elektronik Ekitap

3

Financial Cryptography and Data Security 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...”
Tam Metin Erişim

Elektronik Ekitap

4

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Tam Metin Erişim

Elektronik Ekitap

5

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

6

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”
Tam Metin Erişim

Elektronik Ekitap

7

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

8

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Tam Metin Erişim

Elektronik Ekitap

9

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Tam Metin Erişim

Elektronik Ekitap

10

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

11

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: “... Parallel Implementation of the K Nearest Neighbours Classifier in Three Levels: Threads, MPI Processes...”
Tam Metin Erişim

Elektronik Ekitap

12

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Baskı/Yayın Bilgisi 2013

İçindekiler: “... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”
Tam Metin Erişim

Elektronik Ekitap

13

Computation, Cooperation, and Life Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday /

Baskı/Yayın Bilgisi 2011

İçindekiler: “... Control Devices for Parallel Rewriting -- Reaction Systems with Duration -- Nanomachine Computing...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt