Risultati della ricerca - functions computing programming refining using tools*

Cerca anche:
computing programming » computer programming , computers programming
programming refining » programming defining , programming revising , programming designing
functions computing » function computing , functions combining , functions computer
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...

Pubblicazione 2013

Sommario: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... by Abstraction Refinement -- Local Proofs for Linear-Time Properties of Concurrent Programs -- Probabilistic...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... Quantitative Model Refinement -- Polarizationless P Systems with One Active Membrane -- Bridging Deterministic...”
Testo

Elettronico eBook

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

di Koohi, Sina Zangbari
Pubblicazione 2020

Soggetti: “...Parallel programming (Computer science) - Research...”
Testo

Thesis

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

Pubblicazione 2014

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

Elettronico eBook

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...

Pubblicazione 2010

Sommario: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “... Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Function Approach to Symmetry Exploitation for CSP Refinement Checking -- Tools -- Probing the Depths...”
Testo

Elettronico eBook

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

Pubblicazione 2013

Sommario: “... -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using...”
Testo

Elettronico eBook

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...

Pubblicazione 2013

Sommario: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
Testo

Elettronico eBook

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...

Pubblicazione 2015

Sommario: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
Testo

Elettronico eBook

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...

Pubblicazione 2008

Sommario: “... -- Efficient Automatic STE Refinement Using Responsibility -- Reasoning Algebraically About P-Solvable Loops...”
Testo

Elettronico eBook

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

Pubblicazione 2005

Sommario: “... and Programming -- Proving and Disproving Termination of Higher-Order Functions -- Proving Liveness with Fairness...”
Testo

Elettronico eBook

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...

Pubblicazione 2008

Sommario: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”
Testo

Elettronico eBook

Restringi la ricerca