Canlyniadau Chwilio - parallel execution program function tests https

1

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Cael y testun llawn

Electronig eLyfr

3

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Cael y testun llawn

Electronig eLyfr

11

Advanced Techniques in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...”
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: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
Cael y testun llawn

Electronig eLyfr

18

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

19

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

20

Computational Methods

Cyhoeddwyd 2006

Tabl Cynhwysion: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad