Αποτελέσματα αναζήτησης - program testing https function tracking https

1

Hardware and Software, Verification and Testing Second International Haifa Verification Conference...

Έκδοση 2007

Πίνακας περιεχομένων: “...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Functional Magnetic Resonance Imaging Processing

ανά Li, Xingfeng., Li, Xingfeng.
Έκδοση 2014

Πίνακας περιεχομένων: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Έκδοση 2010

Πίνακας περιεχομένων: “... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Έκδοση 2008

Πίνακας περιεχομένων: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Έκδοση 2014

Πίνακας περιεχομένων: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Έκδοση 2015

Πίνακας περιεχομένων: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Έκδοση 2015

Πίνακας περιεχομένων: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... -- Multi-modal Functional Test Execution -- Social Network Analysis of Communication in Open Source...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “...? -- Subquadratic Algorithms for Workload-Aware Haar Wavelet Synopses -- Practical Algorithms for Tracking Database...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

An Integrated Approach to Software Engineering

ανά Jalote, Pankaj., Jalote, Pankaj.
Έκδοση 2005

Πίνακας περιεχομένων: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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

Έκδοση 2014

Πίνακας περιεχομένων: “... Using Monitoring Techniques -- Monitoring with Data Automata -- Risk-Based Testing (Track Introduction...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... Configurations on Finite Point Sets in the Plane -- Contributed Papers – Track A -- Normal and Feature...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Έκδοση 2010

Πίνακας περιεχομένων: “...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Έκδοση 2010

Πίνακας περιεχομένων: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Έκδοση 2005

Πίνακας περιεχομένων: “... International Workshop) -- Doctoral Symposium -- Industry Track -- Function Net Modeling with UML-RT...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Έκδοση 2008

Πίνακας περιεχομένων: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /

Έκδοση 2014

Πίνακας περιεχομένων: “... Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης