Sciweavers

    276 search results - page 20 / 56
    » Bisimulation Relations for Dynamical and Control Systems
    Sort
    View
    MEMICS
    2010
    126views Theoretical Computer Science» more  MEMICS 2010»
    Monitoring and Control of Temperature in Networks-on-Chip
    13 years 2 months ago
    Monitoring and Control of Temperature in Networks-on-Chip
    Download  www.imd.uni-rostock.de
    Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
    Tim Wegner, Claas Cornelius, Andreas Tockhorn, Dir...
    claim paper
    Read More »
    AUTOMATICA
    2008
    78views more  AUTOMATICA 2008»
    Exact determinations of the maximal output admissible set for a class of nonlinear systems
    13 years 7 months ago
    Exact determinations of the maximal output admissible set for a class of nonlinear systems
    Download  www.nt.ntnu.no
    This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
    Kenji Hirata, Yoshito Ohta
    claim paper
    Read More »
    ISIM
    2007
    119views Information Technology» more  ISIM 2007»
    Component Model with Support of Mobile Architectures
    13 years 9 months ago
    Component Model with Support of Mobile Architectures
    Download  www.e-informatyka.pl
    Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
    Marek Rychlý
    claim paper
    Read More »
    JITECH
    2010
    116views more  JITECH 2010»
    Design theory for dynamic complexity in information infrastructures: the case of building internet
    13 years 6 months ago
    Design theory for dynamic complexity in information infrastructures: the case of building internet
    Download  heim.ifi.uio.no
    We propose a design theory that tackles dynamic complexity in the design for Information Infrastructures (IIs) defined as a shared, open, heterogeneous and evolving socio-technica...
    Ole Hanseth, Kalle Lyytinen
    claim paper
    Read More »
    ICFP
    2007
    ACM
    141views Programming Languages» more  ICFP 2007»
    Adding delimited and composable control to a production programming environment
    14 years 7 months ago
    Adding delimited and composable control to a production programming environment
    Download  www.ccs.neu.edu
    Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
    Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...
    claim paper
    Read More »
    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.