Sciweavers

    31387 search results - page 221 / 6278
    » Abstracting abstract machines
    Sort
    View
    TIME
    2002
    IEEE
    80views Automated Reasoning» more  TIME 2002»
    Temporal Views as Abstract Relations
    16 years 5 days ago
    Temporal Views as Abstract Relations
    Download  www.cs.man.ac.uk
    Allan Ramsay
    claim paper
    Read More »
    WCRE
    2002
    IEEE
    107views Software Engineering» more  WCRE 2002»
    Semantic Grep: Regular Expressions + Relational Abstraction
    16 years 5 days ago
    Semantic Grep: Regular Expressions + Relational Abstraction
    Download  plg.uwaterloo.ca
    R. Ian Bull, Andrew Trevors, Andrew J. Malton, Mic...
    claim paper
    Read More »
    145
    Voted
    ICS
    2010
    Tsinghua U.
    156views Distributed And Parallel Com...» more  ICS 2010»
    Computational Complexity and Information Asymmetry in Financial Products (Extended Abstract)
    16 years 3 days ago
    Computational Complexity and Information Asymmetry in Financial Products (Extended Abstract)
    Download  conference.itcs.tsinghua.edu.cn
    Sanjeev Arora, Boaz Barak, Markus Brunnermeier, Ro...
    claim paper
    Read More »
    SYSTOR
    2010
    ACM
    158views Control Systems» more  SYSTOR 2010»
    Plugging the hypervisor abstraction leaks caused by virtual networking
    16 years 2 days ago
    Plugging the hypervisor abstraction leaks caused by virtual networking
    Download  www.mulix.org
    Alex Landau, David Hadas, Muli Ben-Yehuda
    claim paper
    Read More »
    BIRTHDAY
    2010
    Springer
    113views Applied Computing» more  BIRTHDAY 2010»
    A Scalable Segmented Decision Tree Abstract Domain
    16 years 2 days ago
    A Scalable Segmented Decision Tree Abstract Domain
    Download  www.di.ens.fr
    Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
    Patrick Cousot, Radhia Cousot, Laurent Mauborgne
    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.