Результаты поиска - programme functions https functionality testing https*

1

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /

по Mishra, Prabhat., Mishra, Prabhat., Dutt, Nikil D.
Опубликовано 2005

Оглавление: “... -- Functional Test Generation -- Future Directions -- Conclusions....”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2013

Оглавление: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Полный текст

Электронный ресурс eКнига

3

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... Satisfaction Approach for Programmable Logic Detailed Placement -- Minimizing Models for Tseitin-Encoded SAT...”
Полный текст

Электронный ресурс eКнига

4

Composing Software Components A Software-testing Perspective /

по Hamlet, Dick., Hamlet, Dick.
Опубликовано 2010

Оглавление: “... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...”
Полный текст

Электронный ресурс eКнига

5

Mathematical Analysis II

по Canuto, Claudio., Canuto, Claudio., Tabacco, Anita.
Опубликовано 2010

Оглавление: “...Numerical series -- Series of functions and power series -- Fourier series -- Functions between...”
Полный текст

Электронный ресурс eКнига

6

Using stochastic resonance and strength training as part of a rehabilitation programme for recurrent low back pain treatment: a case study

по Washif, Jad Adrian, Teichmann, Jorg, Kok, Lian Yee, Schmidtbleicher, Dietmar
Опубликовано 2019

“... with significant sensory deficits, but have not been thoroughly tested for LBP. This study aimed to examine...”
Полный текст

Статья

7

Research on PISA Research Outcomes of the PISA Research Conference 2009 /

Опубликовано 2013

Оглавление: “... in PISA-2006 Items: An Application of the Theory of Test Translation Error: Guillermo Solano-Flores, Luis...”
Полный текст

Электронный ресурс eКнига

8

Fundamentals of Switching Theory and Logic Design A Hands on Approach /

по Astola, Jaakko., Astola, Jaakko., Stankovic, Radomir S.
Опубликовано 2006

Оглавление: “...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...”
Полный текст

Электронный ресурс eКнига

9

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...”
Полный текст

Электронный ресурс eКнига

10

Design of Embedded Control Systems

Опубликовано 2005

Оглавление: “... Control Systems Using Hybrid Petri Nets -- Implementation of Discrete-Event Systems in Programmable Logic...”
Полный текст

Электронный ресурс eКнига

11

Physics for Medical Imaging Applications

Опубликовано 2007

Оглавление: “... ASSURANCE -- ADVANCED MRI APPLICATIONS -- PHYSIOLOGICAL AND FUNCTIONAL MRI -- APPLICATIONS OF CLINICAL...”
Полный текст

Электронный ресурс eКнига

12

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Полный текст

Электронный ресурс eКнига

13

Applications of Chaos and Nonlinear Dynamics in Science and Engineering - Vol. 4

Опубликовано 2015

Оглавление: “... and Functional Networks -- Synchronous motions across the instrumental climate record -- Application of random...”
Полный текст

Электронный ресурс eКнига

14

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Опубликовано 2013

Оглавление: “... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...”
Полный текст

Электронный ресурс eКнига

15

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Paper...

Опубликовано 2014

Оглавление: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Полный текст

Электронный ресурс eКнига

16

Data Analysis, Classification and the Forward Search Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, Universit...

Опубликовано 2006

Оглавление: “... -- On the Choice of the Kernel Function in Kernel Discriminant Analysis Using Information Complexity -- Growing...”
Полный текст

Электронный ресурс eКнига

17

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Опубликовано 2010

Оглавление: “...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”
Полный текст

Электронный ресурс eКнига

18

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Полный текст

Электронный ресурс eКнига

19

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”
Полный текст

Электронный ресурс eКнига

20

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

Опубликовано 2006

Оглавление: “...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска