Sciweavers

    10870 search results - page 342 / 2174
    » Model Checking Programs
    Sort
    View
    JSS
    2008
    66views more  JSS 2008»
    A pilot study to compare programming effort for two parallel programming models
    15 years 6 months ago
    A pilot study to compare programming effort for two parallel programming models
    Download  gauss.cs.ucsb.edu
    Lorin Hochstein, Victor R. Basili, Uzi Vishkin, Jo...
    claim paper
    Read More »
    SIGPLAN
    2008
    97views System Software» more  SIGPLAN 2008»
    Use concurrent programming models to motivate teaching of programming languages
    15 years 6 months ago
    Use concurrent programming models to motivate teaching of programming languages
    Download  www.eecs.ucf.edu
    Gary T. Leavens
    claim paper
    Read More »
    TOPLAS
    2008
    77views more  TOPLAS 2008»
    A programming model for concurrent object-oriented programs
    15 years 6 months ago
    A programming model for concurrent object-oriented programs
    Download  lirias.kuleuven.be
    Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...
    claim paper
    Read More »
    ISSTA
    2009
    ACM
    143views Software Engineering» more  ISSTA 2009»
    Analyzing singularity channel contracts
    16 years 1 months ago
    Analyzing singularity channel contracts
    Download  www.cs.ucsb.edu
    This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
    Zachary Stengel, Tevfik Bultan
    claim paper
    Read More »
    176
    Voted
    PAMI
    2006
    159views more  PAMI 2006»
    Consistency Checks for Particle Filters
    15 years 6 months ago
    Consistency Checks for Particle Filters
    Download  doc.utwente.nl
    An "inconsistent" particle filter produces--in a statistical sense--larger estimation errors than predicted by the model on which the filter is based. Two test variables ...
    Ferdinand van der Heijden
    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.