Rezultaty - processing security proof https array https

1

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

Wydane 2010

Spis treści: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International...

Wydane 2005

Spis treści: “... Blocks in Disk Arrays -- An NFSv4-Based Security Scheme for NAS -- Using Blocks Correlations to Improve...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /

Wydane 2013

Spis treści: “... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Wydane 2005

Spis treści: “... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010,...

Wydane 2010

Spis treści: “... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Wydane 2015

Spis treści: “... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Wydane 2005

Spis treści: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014,...

Wydane 2014

Spis treści: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

Wydane 2015

Spis treści: “... Technology -- On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Wydane 2008

Spis treści: “... Validation through Time Petri Nets -- Array OL Descriptions of Repetitive Structures in VHDL -- Textual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty