Konrad Slind und David - Info zur Person

(1 - 14 von 14

)

Programme - Safecomp NTNU

www.ntnu.edu

David Hardin, Konrad Slind, Mark Bortz, James Potts and Scott Owens. SESSION 4 : Fast Abstracts 60'' (session Chair: J.Guiochet). 16:00-17: ...

Publications by Scott Owenswww.cs.kent.ac.uk › sao › pubs_rc

www.cs.kent.ac.uk

David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens SAFECOMP (bibtex) (definitive version); A New Verified Compiler Backend for ...

Eigenschaftsorientierte Beschreibung der logischen Architektur...

books.google.de

David Trachtenherz entwickelt einen Lösungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise...

Interactive Theorem Proving: First International Conference, ITP

books.google.ae

... Pientka Lee Pike Sandip Ray Jos ́e Luis Ruiz Reina David Russinoff Peter Sewell Konrad Slind Sofi`ene Tahar Christian Urban David Aspinall Organization.

Proceedings of the Sixth International Workshop on the ACL2 Theorem...

books.google.de

We received advice and comments from the following individuals: David Hardin, Eric Smith, and Tom Johnson, Konrad Slind, our anonymous reviewers, and ...

[ ] Using ACL2 in the Design of Efficient, Verifiable Data...

arxiv.org

... of Efficient, Verifiable Data Structures for High-Assurance Systems. Authors:David Hardin (Rockwell Collins), Konrad Slind (Rockwell Collins).

[ ] A Step-Indexing Approach to Partial Functions

arxiv.org

David Greve (Rockwell Collins), Konrad Slind (Rockwell Collins). We describe an ACL2 package for defining partial recursive functions that ...

High-Performance Regular Expression Processing …

www.readkong.com

Collaborators • Rockwell Collins ATC: David Hardin, Doug Hiratzka, Konrad Slind • Rockwell Collins Government Systems: Ed Tubbs. Cross-Domain Guards A guard mediates information sharing between security domains according to a specified policy. High Security Network Internet / Low Security Network Guard Application Trusted Untrusted ...

Personen
Vorname "Konrad" (10839)
Name "Slind" (2)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Konrad Slind und David Person-Info

Programme - Safecomp NTNU

Publications by Scott Owenswww.cs.kent.ac.uk › sao › pubs_rc

Eigenschaftsorientierte Beschreibung der logischen Architektur...

Interactive Theorem Proving: First International Conference, ITP

Proceedings of the Sixth International Workshop on the ACL2 Theorem...

[ ] Using ACL2 in the Design of Efficient, Verifiable Data...

[ ] A Step-Indexing Approach to Partial Functions

High-Performance Regular Expression Processing …

ACL2 Workshop Main/Call For Participationwww.cs.uwyo.edu › ~ruben › acl2-13 › CallForP...

SML/NJ Contributors

The Theorem Prover Museum - Most Wanted List

mbox: Q: Tranformation Programs FOL -> Normalform

mbox: Re: Remarks on David's Mail of Oct. 25

Alle Infos zum Namen "Konrad Slind"