Sciweavers

    10935 search results - page 479 / 2187
    » Neural Programming Language
    Sort
    View
    114
    Voted
    IFIP
    2004
    Springer
    89views Programming Languages» more  IFIP 2004»
    Scheduling with Release Times and Deadlines on a Minimum Number of Machines
    16 years 1 months ago
    Scheduling with Release Times and Deadlines on a Minimum Number of Machines
    Download  wwwmayr.informatik.tu-muenchen.de
    Mark Cieliebak, Thomas Erlebach, Fabian Hennecke, ...
    claim paper
    Read More »
    160
    Voted
    IFIP
    2004
    Springer
    110views Programming Languages» more  IFIP 2004»
    Dynamic and Local Typing for Mobile Ambients
    16 years 1 months ago
    Dynamic and Local Typing for Mobile Ambients
    Download  www.dsi.unive.it
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...
    claim paper
    Read More »
    132
    Voted
    CP
    2003
    Springer
    99views Artificial Intelligence» more  CP 2003»
    Constraints for Breaking More Row and Column Symmetries
    16 years 27 days ago
    Constraints for Breaking More Row and Column Symmetries
    Download  www.cs.york.ac.uk
    Alan M. Frisch, Christopher Jefferson, Ian Miguel
    claim paper
    Read More »
    122
    Voted
    ICALP
    2003
    Springer
    66views Programming Languages» more  ICALP 2003»
    Mixin Modules and Computational Effects
    16 years 26 days ago
    Mixin Modules and Computational Effects
    Download  www.cs.nott.ac.uk
    Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena...
    claim paper
    Read More »
    IFIP
    2003
    Springer
    74views Programming Languages» more  IFIP 2003»
    A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks
    16 years 26 days ago
    A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks
    Download  www.ub.utwente.nl
    Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter ...
    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.