Rezultaty - parallel implementation bounded functionality function https

1

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Wydane 2006

Spis treści: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Wydane 2007

Spis treści: “... of PB Systems with Volatile Membranes -- A Logarithmic Bound for Solving Subset Sum with P Systems -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Wydane 2015

Spis treści: “...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Wydane 2008

Spis treści: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Wydane 2014

Spis treści: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Wydane 2005

Spis treści: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Wydane 2005

Spis treści: “... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2012

Spis treści: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Progress in Cryptology - INDOCRYPT 2012 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011, Proceedings13th International Conference on Cryp...

Wydane 2012

Spis treści: “... on the Hamsi-256 Compression Function -- Generalized Iterated Hash Fuctions Revisited: New Complexity Bounds...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2007

Spis treści: “... Processor -- Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML -- Parallelization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Scientific Computing in Electrical Engineering

Wydane 2007

Spis treści: “... and Electric Arc in Low Voltage Vacuum Circuit Breakers -- Accurate Modeling of Complete Functional RF Blocks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Gene Regulatory Networks Methods and Protocols /

Wydane 2012

Spis treści: “... in Caenorhabditis elegans -- High-throughput SELEX Determination of DNA Sequences Bound by Transcription Factors...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2007

Spis treści: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers /

Wydane 2015

Spis treści: “... -- Parallelized Software Implementation of Elliptic Curve Scalar Multiplication -- A Note on Diem’s Proof -- Stand...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Proceedings of the 14th International Meshing Roundtable

Wydane 2005

Spis treści: “...Design and Implementation of a Corporate Mesh Object -- Session 1B -- Unstructured Computational...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for...

Wydane 2010

Spis treści: “... Systems -- Stabilization Criterion Based on New Lyapunov Functional Candidate for Networked Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty