Canlyniadau Chwilio - functions computational programming refining using tools*

Chwilio eraill:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming refining » programming defining , programming revising , programming designing
refining using » retraining using , reasoning using , refining aiming
using tools » cutting tools , making tools , mining tools

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... by Abstraction Refinement -- Local Proofs for Linear-Time Properties of Concurrent Programs -- Probabilistic...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
Cael y testun llawn

Electronig eLyfr

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Quantitative Model Refinement -- Polarizationless P Systems with One Active Membrane -- Bridging Deterministic...”
Cael y testun llawn

Electronig eLyfr

Topology-aware hypergraph based approach to optimize scheduling of parallel applications onto distributed parallel architectures

gan Koohi, Sina Zangbari
Cyhoeddwyd 2020

Pynciau: “...Parallel programming (Computer science) - Research...”
Cael y testun llawn

Thesis

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
Cael y testun llawn

Electronig eLyfr

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines...”
Cael y testun llawn

Electronig eLyfr

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis...”
Cael y testun llawn

Electronig eLyfr

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Function Approach to Symmetry Exploitation for CSP Refinement Checking -- Tools -- Probing the Depths...”
Cael y testun llawn

Electronig eLyfr

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using...”
Cael y testun llawn

Electronig eLyfr

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
Cael y testun llawn

Electronig eLyfr

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Cael y testun llawn

Electronig eLyfr

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
Cael y testun llawn

Electronig eLyfr

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice o...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Efficient Automatic STE Refinement Using Responsibility -- Reasoning Algebraically About P-Solvable Loops...”
Cael y testun llawn

Electronig eLyfr

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness...”
Cael y testun llawn

Electronig eLyfr

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Cael y testun llawn

Electronig eLyfr

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...”
Cael y testun llawn

Electronig eLyfr

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad