Sciweavers

    ENTCS
    2006
    169views more  ENTCS 2006»
    Constructing Induction Rules for Deductive Synthesis Proofs
    13 years 11 months ago
    Constructing Induction Rules for Deductive Synthesis Proofs
    Download  homepages.inf.ed.ac.uk
    We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
    Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fl...
    claim paper
    Read More »
    ENTCS
    2006
    131views more  ENTCS 2006»
    Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
    13 years 11 months ago
    Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
    Download  www.itu.dk
    Mikkel Bundgaard, Thomas T. Hildebrandt
    claim paper
    Read More »
    ENTCS
    2006
    89views more  ENTCS 2006»
    A Type-theoretic Reconstruction of the Visitor Pattern
    13 years 11 months ago
    A Type-theoretic Reconstruction of the Visitor Pattern
    Download  www.cs.bham.ac.uk
    In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
    Peter Buchlovsky, Hayo Thielecke
    claim paper
    Read More »
    ENTCS
    2006
    189views more  ENTCS 2006»
    Variables as Resource for Shared-Memory Programs: Semantics and Soundness
    13 years 11 months ago
    Variables as Resource for Shared-Memory Programs: Semantics and Soundness
    Download  www.cs.cmu.edu
    Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
    Stephen D. Brookes
    claim paper
    Read More »
    ENTCS
    2006
    89views more  ENTCS 2006»
    A Grainless Semantics for Parallel Programs with Shared Mutable Data
    13 years 11 months ago
    A Grainless Semantics for Parallel Programs with Shared Mutable Data
    Download  www.cs.cmu.edu
    Stephen Brookes
    claim paper
    Read More »
    ENTCS
    2006
    151views more  ENTCS 2006»
    Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
    13 years 11 months ago
    Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
    Download  homepages.inf.ed.ac.uk
    We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
    Jeremy T. Bradley, Stephen T. Gilmore
    claim paper
    Read More »
    ENTCS
    2006
    129views more  ENTCS 2006»
    From Coalition Logic to STIT
    13 years 11 months ago
    From Coalition Logic to STIT
    Download  www.irit.fr
    Jan Broersen, Andreas Herzig, Nicolas Troquard
    claim paper
    Read More »
    ENTCS
    2006
    96views more  ENTCS 2006»
    Weighted Timed Automata: Model-Checking and Games
    13 years 11 months ago
    Weighted Timed Automata: Model-Checking and Games
    Download  www.lsv.ens-cachan.fr
    In this paper, we present weighted/priced timed automata, an extension of timed automaton with costs, and solve several interesting problems on that model. Key words: Weighted/pri...
    Patricia Bouyer
    claim paper
    Read More »
    ENTCS
    2006
    153views more  ENTCS 2006»
    Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
    13 years 11 months ago
    Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
    Download  www.itu.dk
    We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
    Lars Birkedal, Rasmus Ejlers Møgelberg, Ras...
    claim paper
    Read More »
    ENTCS
    2006
    104views more  ENTCS 2006»
    Using Bytecode Instruction Counting as Portable CPU Consumption Metric
    13 years 11 months ago
    Using Bytecode Instruction Counting as Portable CPU Consumption Metric
    Download  www.inf.usi.ch
    Accounting for the CPU consumption of applications is crucial for software development to detect and remove performance bottlenecks (profiling) and to evaluate the performance of ...
    Walter Binder, Jarle Hulaas
    claim paper
    Read More »
    « first‹ previous…212223242526272829next ›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.