Sciweavers

    6978 search results - page 243 / 1396
    » On Proofs in System P
    Sort
    View
    WETICE
    2008
    IEEE
    107views Emerging Technology» more  WETICE 2008»
    Information and Regulation in Decentralized Marketplaces for P2P-Grids
    16 years 1 months ago
    Information and Regulation in Decentralized Marketplaces for P2P-Grids
    Download  ast-deim.urv.cat
    Large scale systems such as the Grid need scalable and efficient resource allocation mechanisms to fulfil the requirements of its participants and applications while the whole s...
    Xavier León, Xavier Vilajosana, René...
    claim paper
    Read More »
    HYBRID
    2010
    Springer
    156views Control Systems» more  HYBRID 2010»
    Succinct discrete time approximations of distributed hybrid automata
    16 years 1 months ago
    Succinct discrete time approximations of distributed hybrid automata
    Download  www2.ee.kth.se
    P. S. Thiagarajan, Shaofa Yang
    claim paper
    Read More »
    RTSS
    1990
    IEEE
    104views Control Systems» more  RTSS 1990»
    A Stack-Based Resource Allocation Policy for Realtime Processes
    15 years 10 months ago
    A Stack-Based Resource Allocation Policy for Realtime Processes
    Download  www.cs.cmu.edu
    Theodore P. Baker
    claim paper
    Read More »
    CASES
    2001
    ACM
    110views System Software» more  CASES 2001»
    An empirical evaluation of high level transformations for embedded processors
    15 years 10 months ago
    An empirical evaluation of high level transformations for embedded processors
    Download  homepages.inf.ed.ac.uk
    Björn Franke, Michael F. P. O'Boyle
    claim paper
    Read More »
    CDC
    2009
    IEEE
    117views Control Systems» more  CDC 2009»
    Zero-error function computation in sensor networks
    15 years 10 months ago
    Zero-error function computation in sensor networks
    Download  maascom.ece.ohio-state.edu
    Hemant Kowshik, P. R. Kumar
    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.