Results 261 to 270 of about 1,174,960 (285)
Some of the next articles are maybe not open access.
A Formal Proof of PG Recurrence Equations of Parallel Adders
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021Guowu Yang
exaly
Making the most of formal specification through animation, testing and proof
Science of Computer Programming, 1997Juan C Bicarregui +2 more
exaly
his paper formally resolves the P vs NP problem by constructing a language L_d and a reflection-resistant function R(x) that are verifiable in nondeterministic polynomial time but unsolvable in deterministic polynomial time. Proven via diagonalization, bounded simulation, and non-relativizing arguments, this falsifiable proof is supported by a scaled ...
openaire +1 more source
openaire +1 more source
Formal proof of a program: Find
Science of Computer Programming, 2007Jean-Christophe Filliâtre
exaly
Design and formal proof of a new optimal image segmentation program with hypermaps
Pattern Recognition, 2007Jean-François Dufourd
exaly
On a new formal proof model for RFID location privacy
Information Processing Letters, 2009Sasa Radomirovic
exaly