Sciweavers

    3458 search results - page 6 / 692
    » Abstracting Control
    Sort
    View
    140
    Voted
    ATVA
    2010
    Springer
    153views Hardware» more  ATVA 2010»
    Non-monotonic Refinement of Control Abstraction for Concurrent Programs
    15 years 2 months ago
    Non-monotonic Refinement of Control Abstraction for Concurrent Programs
    Download  www.model.in.tum.de
    ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
    Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
    claim paper
    Read More »
    86
    Voted
    ICSE
    2008
    IEEE-ACM
    99views Software Engineering» more  ICSE 2008»
    Model-driven configuration of os-level mandatory access control: research abstract
    16 years 2 months ago
    Model-driven configuration of os-level mandatory access control: research abstract
    Download  qe-informatik.uibk.ac.at
    Berthold Agreiter
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    246views Automated Reasoning» more  FLOPS 2010»
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    15 years 9 months ago
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    Download  okmij.org
    Oleg Kiselyov
    claim paper
    Read More »
    76
    Voted
    IROS
    2009
    IEEE
    175views Robotics» more  IROS 2009»
    A discrete grid abstraction for formation control in the presence of obstacles
    15 years 9 months ago
    A discrete grid abstraction for formation control in the presence of obstacles
    Download  www.fer.hr
    Damjan Miklic, Stjepan Bogdan, Sanjin Nestic, Rafa...
    claim paper
    Read More »
    101
    Voted
    SIPS
    2007
    IEEE
    85views Signal Processing» more  SIPS 2007»
    Rapid Abstract Control Model for Signal Processing Implementation
    15 years 9 months ago
    Rapid Abstract Control Model for Signal Processing Implementation
    Download  www.ee.iitm.ac.in
    Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan
    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.