Sciweavers

    17298 search results - page 138 / 3460
    » Abstract computing machines
    Sort
    View
    86
    Voted
    ENTCS
    2002
    66views more  ENTCS 2002»
    Unique, guarded fixed points in an additive setting: Extended Abstract
    15 years 3 months ago
    Unique, guarded fixed points in an additive setting: Extended Abstract
    Download  www.cs.stevens.edu
    Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt
    Stephen L. Bloom, Zoltán Ésik
    claim paper
    Read More »
    201
    Voted
    NADA
    1998
    Springer
    136views Hardware» more  NADA 1998»
    Towards an Algebraic Specification of the Java Virtual Machine
    15 years 7 months ago
    Towards an Algebraic Specification of the Java Virtual Machine
    Download  www.cs.swan.ac.uk
    abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
    K. Stephenson
    claim paper
    Read More »
    107
    Voted
    ICAI
    2004
    106views Artificial Intelligence» more  ICAI 2004»
    Using Machine Learning Techniques for Stylometry
    15 years 4 months ago
    Using Machine Learning Techniques for Stylometry
    Download  www.cs.indiana.edu
    on of Abstracts, the University of Georgia, Athens 2003.
    Ramyaa Congzhou He, Khaled Rasheed
    claim paper
    Read More »
    DAC
    1999
    ACM
    120views Computer Architecture» more  DAC 1999»
    Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment
    16 years 4 months ago
    Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment
    Download  web.mac.com
    Dennis Abts, Mike Roberts
    claim paper
    Read More »
    100
    Voted
    MOBISYS
    2007
    ACM
    140views Computer Networks» more  MOBISYS 2007»
    Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks
    16 years 3 months ago
    Dali: a communication-centric data abstraction layer for energy-constrained devices in mobile sensor networks
    Download  cmsadler.googlepages.com
    Christopher M. Sadler, Margaret Martonosi
    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.