Resultats de la cerca - parallel self program functionality testing https

Alternatives de cerca:
program functionality » protein functionality , programs functional , supra functionality
functionality testing » functionality setting , functional testing , functionality using
parallel self » parallel sql , parallel sat , parallel beam
testing https » teaching https , being https , writing https
self program » delfi program , imf program , self programming

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Obtenir text complet

Electrònic eBook

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Publicat 2006

Taula de continguts: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Obtenir text complet

Electrònic eBook

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Publicat 2008

Taula de continguts: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Obtenir text complet

Electrònic eBook

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Publicat 2015

Taula de continguts: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Obtenir text complet

Electrònic eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Publicat 2006

Taula de continguts: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Obtenir text complet

Electrònic eBook

Innovations in Computing Sciences and Software Engineering

Publicat 2010

Taula de continguts: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Obtenir text complet

Electrònic eBook

Evolutionary Algorithms for Solving Multi-Objective Problems

per Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publicat 2007

Taula de continguts: “... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”
Obtenir text complet

Electrònic eBook

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Obtenir text complet

Electrònic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Publicat 2010

Taula de continguts: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Obtenir text complet

Electrònic eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Publicat 2010

Taula de continguts: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Obtenir text complet

Electrònic eBook

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 /

Publicat 2014

Taula de continguts: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Obtenir text complet

Electrònic eBook

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... Self-adaptive Mutations with Multi-parent Crossover Evolutionary Algorithm for Solving Function...”
Obtenir text complet

Electrònic eBook

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 /

Publicat 2007

Taula de continguts: “... in Multiple Care-of Addresses MIPv6 with Parallel Delay Measurement Technique -- Self-organization...”
Obtenir text complet

Electrònic eBook

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Publicat 2012

Taula de continguts: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Obtenir text complet

Electrònic eBook

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...”
Obtenir text complet

Electrònic eBook

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA,...

Publicat 2013

Taula de continguts: “... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...”
Obtenir text complet

Electrònic eBook

Refinar cerca