Sciweavers

    21984 search results - page 302 / 4397
    » C
    Sort
    View
    PLDI
    1998
    ACM
    109views Programming Languages» more  PLDI 1998»
    The Design and Implementation of a Certifying Compiler
    15 years 11 months ago
    The Design and Implementation of a Certifying Compiler
    Download  www.eecs.berkeley.edu
    George C. Necula, Peter Lee
    claim paper
    Read More »
    147
    Voted
    CSFW
    1997
    IEEE
    109views Security Privacy» more  CSFW 1997»
    Proving Properties of Security Protocols by Induction
    15 years 11 months ago
    Proving Properties of Security Protocols by Induction
    Download  www.cl.cam.ac.uk
    Lawrence C. Paulson
    claim paper
    Read More »
    131
    Voted
    CSFW
    1997
    IEEE
    84views Security Privacy» more  CSFW 1997»
    Mechanized proofs for a recursive authentication protocol
    15 years 11 months ago
    Mechanized proofs for a recursive authentication protocol
    Download  www.cl.cam.ac.uk
    Lawrence C. Paulson
    claim paper
    Read More »
    DASFAA
    1997
    IEEE
    146views Database» more  DASFAA 1997»
    Implementing Temporal Databases in Object-Oriented Systems
    15 years 11 months ago
    Implementing Temporal Databases in Object-Oriented Systems
    Download  timecenter.cs.aau.dk
    Andreas Steiner, Moira C. Norrie
    claim paper
    Read More »
    DATE
    1997
    IEEE
    66views Hardware» more  DATE 1997»
    Microsystem design using simulator coupling
    15 years 11 months ago
    Microsystem design using simulator coupling
    Download  ansys.net
    S. Wünsche, C. Clauss, P. Schwarz, Frank Wink...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.