Canlyniadau Chwilio - parallel tests adding functionality function https

1

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Cael y testun llawn

Electronig eLyfr

3

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Cael y testun llawn

Electronig eLyfr

4

Microsystems Dynamics

gan Ostasevicius, Vytautas., Ostasevicius, Vytautas., Dauksevicius, Rolanas.
Cyhoeddwyd 2011

Tabl Cynhwysion: “... for Fabrication of Micromotors -- Common MEMS Actuators -- Parallel Plate Capacitors -- Comb Drives...”
Cael y testun llawn

Electronig eLyfr

5

Evolutionary Algorithms for Solving Multi-Objective Problems

gan Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Cael y testun llawn

Electronig eLyfr

6

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”
Cael y testun llawn

Electronig eLyfr

7

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...”
Cael y testun llawn

Electronig eLyfr

8

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
Cael y testun llawn

Electronig eLyfr

9

Future Intelligent Information Systems Volume 1 /

Cyhoeddwyd 2011

Tabl Cynhwysion: “... -- Optimal Test Time and Power for System-on-Chip Designs Using Game Theory -- An electrochemical approach...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...”
Cael y testun llawn

Electronig eLyfr

11

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Cael y testun llawn

Electronig eLyfr

12

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”
Cael y testun llawn

Electronig eLyfr

13

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Cael y testun llawn

Electronig eLyfr

15

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 /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Ubiquitous Systems -- Testing Embedded Control Systems with TTCN-3 -- Cross-Platform Verification Framework...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...”
Cael y testun llawn

Electronig eLyfr

17

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Cyhoeddwyd 2013

Tabl Cynhwysion: “... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”
Cael y testun llawn

Electronig eLyfr

18

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”
Cael y testun llawn

Electronig eLyfr

19

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...”
Cael y testun llawn

Electronig eLyfr

20

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad