Sciweavers

    9581 search results - page 154 / 1917
    » On Ubiquitous Integrated Computing
    Sort
    View
    MEMOCODE
    2006
    IEEE
    81views Formal Methods» more  MEMOCODE 2006»
    A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design
    16 years 11 days ago
    A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design
    Download  www.fermat.ece.vt.edu
    Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Ris...
    claim paper
    Read More »
    PPSWR
    2005
    Springer
    241views Automated Reasoning» more  PPSWR 2005»
    Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules
    15 years 12 months ago
    Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules
    Download  www.dis.uniroma1.it
    Riccardo Rosati
    claim paper
    Read More »
    ECBS
    2003
    IEEE
    84views Hardware» more  ECBS 2003»
    Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
    15 years 11 months ago
    Model-Integrated Design Toolset for Polymorphous Computer-Based Systems
    Download  w3.isis.vanderbilt.edu
    Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
    Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neem...
    claim paper
    Read More »
    SIGMETRICS
    1996
    ACM
    118views Hardware» more  SIGMETRICS 1996»
    Integrating Performance Monitoring and Communication in Parallel Computers
    15 years 10 months ago
    Integrating Performance Monitoring and Communication in Parallel Computers
    Download  parapet.ee.princeton.edu
    A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
    Margaret Martonosi, David Ofelt, Mark Heinrich
    claim paper
    Read More »
    88
    Voted
    ATAL
    2009
    Springer
    90views Intelligent Agents» more  ATAL 2009»
    Existence and computation of equilibria of first-price auctions with integral valuations and bids
    15 years 10 months ago
    Existence and computation of equilibria of first-price auctions with integral valuations and bids
    Download  www.daimi.au.dk
    Guillaume Escamocher, Peter Bro Miltersen, Rocio S...
    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.