Risultati della ricerca - parallel executions program functionality testing https

Cerca anche:
program functionality » protein functionality , programs functional , supra functionality
functionality testing » functionality setting , functional testing , functionality using
parallel executions » parallel execution , parallel evolutions , parallel evolution
executions program » executive program , executive programs , solutions program
testing https » teaching https , being https , writing https

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

Pubblicazione 2007

Sommario: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Testo

Elettronico eBook

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Pubblicazione 2007

Sommario: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Testo

Elettronico eBook

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

Pubblicazione 2013

Sommario: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Testo

Elettronico eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Pubblicazione 2008

Sommario: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
Testo

Elettronico eBook

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

Pubblicazione 2006

Sommario: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Testo

Elettronico eBook

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Pubblicazione 2008

Sommario: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Testo

Elettronico eBook

Advanced Techniques in Computing Sciences and Software Engineering

Pubblicazione 2010

Sommario: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Testo

Elettronico eBook

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Pubblicazione 2008

Sommario: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”
Testo

Elettronico eBook

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Pubblicazione 2013

Sommario: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Testo

Elettronico eBook

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”
Testo

Elettronico eBook

Computational Methods

Pubblicazione 2006

Sommario: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Testo

Elettronico eBook

Restringi la ricerca