Sciweavers

    8109 search results - page 146 / 1622
    » A Model of Component-Based Programming
    Sort
    View
    115
    Voted
    TAICPART
    2010
    IEEE
    167views Education» more  TAICPART 2010»
    Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing
    15 years 3 months ago
    Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing
    Download  research.microsoft.com
    Wolfgang Grieskamp
    claim paper
    Read More »
    99
    Voted
    CSEDU
    2010
    109views Education» more  CSEDU 2010»
    Teaching Programming with Formal Models in Greenfoot
    15 years 2 months ago
    Teaching Programming with Formal Models in Greenfoot
    Download  www.mbalz.de
    Moritz Balz, Michael Goedicke
    claim paper
    Read More »
    127
    Voted
    IPPS
    2010
    IEEE
    133views Distributed And Parallel Com...» more  IPPS 2010»
    OpenCL - An effective programming model for data parallel computations at the Cell Broadband Engine
    15 years 2 months ago
    OpenCL - An effective programming model for data parallel computations at the Cell Broadband Engine
    Download  www.plm.eecs.uni-kassel.de
    Jens Breitbart, Claudia Fohry
    claim paper
    Read More »
    FORTE
    2009
    96views Formal Methods» more  FORTE 2009»
    A Type Graph Model for Java Programs
    15 years 2 months ago
    A Type Graph Model for Java Programs
    Download  eprints.eemcs.utwente.nl
    Arend Rensink, Eduardo Zambon
    claim paper
    Read More »
    HCI
    2009
    158views Human Computer Interaction» more  HCI 2009»
    Further Steps towards Driver Modeling According to the Bayesian Programming Approach
    15 years 2 months ago
    Further Steps towards Driver Modeling According to the Bayesian Programming Approach
    Download  www.lks.uni-oldenburg.de
    Claus Möbus, Mark Eilers
    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.