Rezultati - parallel processing programming functionals security https

1

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

Izdano 2010

Kazalo: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2010

Kazalo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Polni tekst

Elektronski eKnjiga

3

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Izdano 2005

Kazalo: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Polni tekst

Elektronski eKnjiga

4

Advances in Information Processing and Protection

Izdano 2007

Kazalo: “... Evaluation of Block Ciphers -- Development of Concealing the Purpose of Processing for Programs in a...”
Polni tekst

Elektronski eKnjiga

5

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Izdano 2012

Kazalo: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2006

Kazalo: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2005

Kazalo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Polni tekst

Elektronski eKnjiga

8

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Izdano 2010

Kazalo: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Polni tekst

Elektronski eKnjiga

9

packetC Programming

od Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Izdano 2011

Teme: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Polni tekst

Elektronski eKnjiga

10

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Izdano 2014

Kazalo: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Polni tekst

Elektronski eKnjiga

11

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Izdano 2008

Kazalo: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Polni tekst

Elektronski eKnjiga

12

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

Izdano 2006

Kazalo: “... in Agent-Based Evolutionary Optimization -- An Immunological and an Ethically-social Approach to Security...”
Polni tekst

Elektronski eKnjiga

13

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Izdano 2015

Kazalo: “... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...”
Polni tekst

Elektronski eKnjiga

14

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 2 /

Izdano 2015

Kazalo: “... Study on Various Attacks of TCP/IP and Security Challenges in MANET Layer Architecture -- SVD...”
Polni tekst

Elektronski eKnjiga

15

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Izdano 2015

Kazalo: “... of Information Retrieval -- 3. High Payload Reversible Watermarking for Securing Medical Images in a Cloud...”
Polni tekst

Elektronski eKnjiga

16

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Izdano 2014

Kazalo: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Polni tekst

Elektronski eKnjiga

17

Intelligent Technologies and Engineering Systems

Izdano 2013

Kazalo: “... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...”
Polni tekst

Elektronski eKnjiga

18

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Izdano 2007

Kazalo: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Polni tekst

Elektronski eKnjiga

19

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

Izdano 2015

Kazalo: “... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”
Polni tekst

Elektronski eKnjiga

20

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 /

Izdano 2014

Kazalo: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje