Sciweavers

    686 search results - page 117 / 138
    » Behavior Protocols for Software Components
    Sort
    View
    BIRTHDAY
    2003
    Springer
    136views Applied Computing» more  BIRTHDAY 2003»
    Extreme Model Checking
    14 years 1 months ago
    Extreme Model Checking
    Download  www.eecs.berkeley.edu
    One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
    Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
    claim paper
    Read More »
    BMCBI
    2011
    218views Artificial Intelligence» more  BMCBI 2011»
    A lightweight, flow-based toolkit for parallel and distributed bioinformatics pipelines
    13 years 3 months ago
    A lightweight, flow-based toolkit for parallel and distributed bioinformatics pipelines
    Download  www.biomedcentral.com
    Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or ‘workflow’, is a well-defined protocol, with a specific structure defin...
    Marcin Cieslik, Cameron Mura
    claim paper
    Read More »
    EUROSYS
    2006
    ACM
    158views Software Engineering» more  EUROSYS 2006»
    Using queries for distributed monitoring and forensics
    14 years 5 months ago
    Using queries for distributed monitoring and forensics
    Download  berkeley.intel-research.net
    Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
    Atul Singh, Petros Maniatis, Timothy Roscoe, Peter...
    claim paper
    Read More »
    ICSE
    2003
    IEEE-ACM
    192views Software Engineering» more  ICSE 2003»
    A Tutorial on Feature Oriented Programming and Product-Lines
    14 years 1 months ago
    A Tutorial on Feature Oriented Programming and Product-Lines
    Download  ce.sharif.edu
    ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
    Don S. Batory
    claim paper
    Read More »
    EMNETS
    2007
    218views Sensor Networks» more  EMNETS 2007»
    Image browsing, processing, and clustering for participatory sensing: lessons from a DietSense prototype
    14 years 16 days ago
    Image browsing, processing, and clustering for participatory sensing: lessons from a DietSense prototype
    Download  research.cens.ucla.edu
    Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...
    Sasank Reddy, Andrew Parker, Josh Hyman, Jeff Burk...
    claim paper
    Read More »
    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-2024, USA.