Rezultaty - parallel processing properties functionality testing https

1

Wydane 2010

Spis treści: “... Point Processes with Defined Properties -- Generation and Selection of Surrogate Methods for Correlation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Wydane 2013

Spis treści: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Wydane 2015

Spis treści: “... and Parallel Processing -- Review of Voltage Sag Disturbance Recognition -- The Exterior Type Consistency...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Intelligent Technologies and Engineering Systems

Wydane 2013

Spis treści: “... Films -- Improving the Properties of Sol-Gel Deposition SrBi4Ti4O15 Thin Films by Post-Annealing Process...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Emerging Trends in Computing and Communication ETCC 2014, March 22-23, 2014 /

Wydane 2014

Spis treści: “... Automata -- Calculation of Bridge Function and Thermodynamic Properties of Lennard-Jones Fluid using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

7

Recent Advances in System Reliability Signatures, Multi-state Systems and Statistical Inference /

Wydane 2012

Spis treści: “... for Supermarket Refrigeration System by Using Combined Stochastic Process and Universal Generating Function Method...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2007

Spis treści: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Wydane 2014

Spis treści: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

COMPSTAT 2008 Proceedings in Computational Statistics /

Wydane 2008

Spis treści: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Biometrics, Computer Security Systems and Artificial Intelligence Applications

Wydane 2006

Spis treści: “... -- Parallelization of Standard Modes of Operation for Symmetric Key Block Ciphers -- On Differential and Linear...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2015

Spis treści: “... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Wydane 2005

Spis treści: “...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Wydane 2010

Spis treści: “... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

BioMEMS

Wydane 2006

Spis treści: “... AND PLASTICITY. 6.NETWORK DYNAMICS AND EPILEPTIFORM ACTIVITY. 7.DRUG TESTING WITH MEAS. 7.1.Using Network...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Wydane 2014

Spis treści: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2006

Spis treści: “... Property Grammars for Knowledge Extraction from Biomedical Text -- Natural Language Processing Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering /

Wydane 2015

Spis treści: “... for Solar Hydrogen Generation Process -- Voltage regulation in Resonant Coupled Systems for Near Field Power...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Wydane 2007

Spis treści: “... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty