Sciweavers

    ENTCS
    2008
    120views more  ENTCS 2008»
    Towards a Quantum Calculus: (Work in Progress, Extended Abstract)
    14 years 15 days ago
    Towards a Quantum Calculus: (Work in Progress, Extended Abstract)
    Download  www.pps.jussieu.fr
    Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
    Philippe Jorrand, Simon Perdrix
    claim paper
    Read More »
    ENTCS
    2008
    120views more  ENTCS 2008»
    Semantic Abstraction and Quantum Computation
    14 years 15 days ago
    Semantic Abstraction and Quantum Computation
    Download  www.di.unipi.it
    abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
    Alessandra Di Pierro, Herbert Wiklicky
    claim paper
    Read More »
    ENTCS
    2008
    90views more  ENTCS 2008»
    Quantum Data and Control Made Easier
    14 years 15 days ago
    Quantum Data and Control Made Easier
    Download  www.softlab.ntua.gr
    In this paper we define nQML, a functional quantum programming language that follows the "quantum data and control" paradigm. In comparison to Altenkirch and Grattage�...
    Michael Lampis, Kyriakos G. Ginis, Michalis A. Pap...
    claim paper
    Read More »
    ENTCS
    2008
    94views more  ENTCS 2008»
    A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
    14 years 15 days ago
    A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
    Download  www.cl.cam.ac.uk
    This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
    Hendrik Tews, Tjark Weber, Marcus Völp
    claim paper
    Read More »
    ENTCS
    2008
    97views more  ENTCS 2008»
    Structured Types and Separation Logic
    14 years 15 days ago
    Structured Types and Separation Logic
    Download  www.ertos.nicta.com.au
    Harvey Tuch
    claim paper
    Read More »
    ENTCS
    2008
    77views more  ENTCS 2008»
    A Comparative Study of Industrial Static Analysis Tools
    14 years 15 days ago
    A Comparative Study of Industrial Static Analysis Tools
    Download  www.ep.liu.se
    Pär Emanuelsson, Ulf Nilsson
    claim paper
    Read More »
    ENTCS
    2008
    104views more  ENTCS 2008»
    A Logic for Virtual Memory
    14 years 15 days ago
    A Logic for Virtual Memory
    Download  ertos.nicta.com.au
    We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
    Rafal Kolanski
    claim paper
    Read More »
    ENTCS
    2008
    88views more  ENTCS 2008»
    Specification of Conditions for Error Diagnostics
    14 years 15 days ago
    Specification of Conditions for Error Diagnostics
    Download  www.verified.de
    This paper describes the basic concepts of error diagnostics and an associated rule system whose application helps to identify potential hardware/software locations of errors whic...
    Christof Efkemann, Tobias Hartmann
    claim paper
    Read More »
    ENTCS
    2008
    139views more  ENTCS 2008»
    Pervasive Compiler Verification - From Verified Programs to Verified Systems
    14 years 15 days ago
    Pervasive Compiler Verification - From Verified Programs to Verified Systems
    Download  www-ti.informatik.uni-tuebingen.de
    We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
    Dirk Leinenbach, Elena Petrova
    claim paper
    Read More »
    ENTCS
    2008
    76views more  ENTCS 2008»
    Symbolic and Abstract Interpretation for C/C++ Programs
    14 years 15 days ago
    Symbolic and Abstract Interpretation for C/C++ Programs
    Download  www.informatik.uni-bremen.de
    and Abstract Interpretation for C/C++ Programs Helge L
    Helge Löding, Jan Peleska
    claim paper
    Read More »
    « first‹ previous…456789101112…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.