Sciweavers

    WOTUG
    2008
    139views Computer Science» more  WOTUG 2008»
    A CSP Model for Mobile Channels
    13 years 6 months ago
    A CSP Model for Mobile Channels
    Download  www.cs.kent.ac.uk
    CSP processes have a static view of their environment
    Peter H. Welch, Fred R. M. Barnes
    claim paper
    Read More »
    WOTUG
    2008
    112views Computer Science» more  WOTUG 2008»
    Experiments in Translating CSP || B to Handel-C
    13 years 6 months ago
    Experiments in Translating CSP || B to Handel-C
    Download  www.computing.surrey.ac.uk
    Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
    Steve Schneider, Helen Treharne, Alistair McEwan, ...
    claim paper
    Read More »
    WOTUG
    2008
    168views Computer Science» more  WOTUG 2008»
    FPGA based Control of a Production Cell System
    13 years 6 months ago
    FPGA based Control of a Production Cell System
    Download  www.ce.utwente.nl
    Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
    Marcel A. Groothuis, Jasper J. P. van Zuijlen, Jan...
    claim paper
    Read More »
    WOTUG
    2008
    113views Computer Science» more  WOTUG 2008»
    Virtual Machine Based Debugging for occam-pi
    13 years 6 months ago
    Virtual Machine Based Debugging for occam-pi
    Download  www.transterpreter.org
    Carl G. Ritson, Jonathan Simpson
    claim paper
    Read More »
    WOTUG
    2008
    113views Computer Science» more  WOTUG 2008»
    Process-Oriented Collective Operations
    13 years 6 months ago
    Process-Oriented Collective Operations
    Download  www.cosmos-research.org
    Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
    John Markus Bjørndalen, Adam T. Sampson
    claim paper
    Read More »
    WOTUG
    2008
    155views Computer Science» more  WOTUG 2008»
    Communicating Haskell Processes: Composable Explicit Concurrency using Monads
    13 years 6 months ago
    Communicating Haskell Processes: Composable Explicit Concurrency using Monads
    Download  www.twistedsquare.com
    Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
    Neil C. C. Brown
    claim paper
    Read More »
    WOTUG
    2008
    122views Computer Science» more  WOTUG 2008»
    Representation and Implementation of CSP and VCR Traces
    13 years 6 months ago
    Representation and Implementation of CSP and VCR Traces
    Download  twistedsquare.com
    Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
    Neil C. C. Brown, Marc L. Smith
    claim paper
    Read More »
    WOTUG
    2008
    109views Computer Science» more  WOTUG 2008»
    Two-Way Protocols for occam-pi
    13 years 6 months ago
    Two-Way Protocols for occam-pi
    Download  www.cosmos-research.org
    Adam T. Sampson
    claim paper
    Read More »
    WOTUG
    2008
    136views Computer Science» more  WOTUG 2008»
    Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques
    13 years 6 months ago
    Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques
    Download  www.egr.unlv.edu
    Abstract. The Santa Claus problem provides an excellent exercise in concurrent programming and can be used to show the simplicity or complexity of solving problems using a particul...
    Jason Hurt, Jan Bækgaard Pedersen
    claim paper
    Read More »
    TMFCS
    2008
    170views Computer Science» more  TMFCS 2008»
    Decomposition and Scanning Optimization Algorithms for TSP
    13 years 6 months ago
    Decomposition and Scanning Optimization Algorithms for TSP
    Download  www.nbuv.gov.ua
    Roman Bazylevych, Bhanu Prasad, Roman Kutelmakh, L...
    claim paper
    Read More »
    « first‹ previous…91011121314151617…next ›last »
    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.