Sciweavers

    7920 search results - page 1559 / 1584
    » The Swarm Application Framework
    Sort
    View
    JFP
    2007
    136views more  JFP 2007»
    Practical type inference for arbitrary-rank types
    14 years 9 months ago
    Practical type inference for arbitrary-rank types
    Download  research.microsoft.com
    Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
    Simon L. Peyton Jones, Dimitrios Vytiniotis, Steph...
    claim paper
    Read More »
    TOPLAS
    2008
    138views more  TOPLAS 2008»
    Decomposing bytecode verification by abstract interpretation
    14 years 9 months ago
    Decomposing bytecode verification by abstract interpretation
    Download  www.iet.unipi.it
    act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
    Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
    claim paper
    Read More »
    TPDS
    2008
    164views more  TPDS 2008»
    Hierarchical Scheduling for Symmetric Multiprocessors
    14 years 9 months ago
    Hierarchical Scheduling for Symmetric Multiprocessors
    Download  www-users.cs.umn.edu
    Hierarchical scheduling has been proposed as a scheduling technique to achieve aggregate resource partitioning among related groups of threads and applications in uniprocessor and...
    Abhishek Chandra, Prashant J. Shenoy
    claim paper
    Read More »
    JMIV
    2007
    92views more  JMIV 2007»
    Uniquely-Determined Thinning of the Tie-Zone Watershed Based on Label Frequency
    14 years 9 months ago
    Uniquely-Determined Thinning of the Tie-Zone Watershed Based on Label Frequency
    Download  www.dca.fee.unicamp.br
    There are many watershed transform algorithms in literature but most of them do not exactly correspond to their respective definition. The solution given by such algorithms depend...
    Romaric Audigier, Roberto de Alencar Lotufo
    claim paper
    Read More »
    JNCA
    2007
    154views more  JNCA 2007»
    Knowledge-based multimedia adaptation for ubiquitous multimedia consumption
    14 years 9 months ago
    Knowledge-based multimedia adaptation for ubiquitous multimedia consumption
    Download  ls13-www.cs.uni-dortmund.de
    Intelligent, server-side adaptation of multimedia resources is becoming increasingly important and challenging for two reasons. First, the market continuously brings up new mobile...
    Dietmar Jannach, Klaus Leopold
    claim paper
    Read More »
    « Prev « First page 1559 / 1584 Last » Next »
    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-2025, USA.