Canlyniadau Chwilio - ((function computation) or (functions computational)) programming testing methods papers*

Chwilio eraill:
functions computational » functions computation , directions computational , section computational
function computation » function computing , function decomposition , section computational
programming testing » programming designing , programming reasoning , programming extending
testing methods » tests methods , test methods , learning methods
methods papers » method papers , methods pattern , methods part

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”
Cael y testun llawn

Electronig eLyfr

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Secret Sharing with Graph States -- Testing Embedded Memories: A Survey -- Quicksort and Large Deviations...”
Cael y testun llawn

Electronig eLyfr

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”
Cael y testun llawn

Electronig eLyfr

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Cael y testun llawn

Electronig eLyfr

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”
Cael y testun llawn

Electronig eLyfr

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Cael y testun llawn

Electronig eLyfr

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Cyhoeddwyd 2010

Pynciau: “...Programming languages (Electronic computers)....”
Cael y testun llawn

Electronig eLyfr

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference...

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon...”
Cael y testun llawn

Electronig eLyfr

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Cael y testun llawn

Electronig eLyfr

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
Cael y testun llawn

Electronig eLyfr

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Cael y testun llawn

Electronig eLyfr

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Cael y testun llawn

Electronig eLyfr

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”
Cael y testun llawn

Electronig eLyfr

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Cael y testun llawn

Electronig eLyfr

Advances in Communication and Computing

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Test Cases Minimization for Object Oriented Programs....”
Cael y testun llawn

Electronig eLyfr

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”
Cael y testun llawn

Electronig eLyfr

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Hybrid Systems -- SOS Methods for Semi-algebraic Games and Optimization -- Regular Papers -- The Discrete...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
6
Nesaf »
[6]

Manylu'r Chwiliad