Results 251 to 260 of about 45,469 (261)

Formal Derivation of Two Algorithms Involving Sequences

2011
Jinyun Xue
exaly  

The Formal Derivation of a Proof of the Invariance Theorem

Lecture Notes in Computer Science, 1990
exaly  

A Formal Derivation of Grover's Quantum Search Algorithm

2007
Paolo Zuliani
exaly  

Characterization of derivation sets of formal systems

2006
openaire   +2 more sources

A Formal Framework for the Derivation of Machine-Specific Optimizers

ACM Transactions on Programming Languages and Systems, 1983
openaire   +2 more sources

Characterization of Derivation Sets of Formal Systems

Lecture Notes in Computer Science, 1973
exaly  

Introducing Formal Derivation Into the Design and Analysis of Algorithms

2009
Haihe Shi
exaly  

A Methodology for the Description of System Requirements and the Derivation of Formal Specifications

IFIP Advances in Information and Communication Technology, 1997
exaly  

Formal Derivation and Implementation for the Stone-Merger Algorithm

2010
exaly  

Program derivation and formal verification

1996
openaire   +1 more source