Sciweavers

    POPL
    2012
    ACM
    278views Programming Languages» more  POPL 2012»
    Analysis of recursively parallel programs
    12 years 8 months ago
    Analysis of recursively parallel programs
    Download  hal.archives-ouvertes.fr
    We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
    Ahmed Bouajjani, Michael Emmi
    claim paper
    Read More »
    CMS
    2011
    229views Communications» more  CMS 2011»
    Twin Clouds: Secure Cloud Computing with Low Latency - (Full Version)
    13 years 12 days ago
    Twin Clouds: Secure Cloud Computing with Low Latency - (Full Version)
    Download  thomaschneider.de
    Abstract. Cloud computing promises a cost effective enabling technology to outsource storage and massively parallel computations. However, existing approaches for provably secure ...
    Sven Bugiel, Stefan Nürnberger, Ahmad-Reza Sa...
    claim paper
    Read More »
    JOLLI
    2010
    84views more  JOLLI 2010»
    Exploring Feature Agreement in French with Parallel Pregroup Computations
    13 years 11 months ago
    Exploring Feature Agreement in French with Parallel Pregroup Computations
    Download  www.springerlink.com
    One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Tec...
    Joachim Lambek
    claim paper
    Read More »
    IPPS
    1998
    IEEE
    120views Distributed And Parallel Com...» more  IPPS 1998»
    Runtime Support for Virtual BSP Computer
    14 years 4 months ago
    Runtime Support for Virtual BSP Computer
    Download  ipdps.cc.gatech.edu
    Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
    Mohan V. Nibhanupudi, Boleslaw K. Szymanski
    claim paper
    Read More »
    LCPC
    1999
    Springer
    131views System Software» more  LCPC 1999»
    Language Support for Pipelining Wavefront Computations
    14 years 4 months ago
    Language Support for Pipelining Wavefront Computations
    Download  www.elewis.net
    Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
    Bradford L. Chamberlain, E. Christopher Lewis, Law...
    claim paper
    Read More »
    IPPS
    1999
    IEEE
    131views Distributed And Parallel Com...» more  IPPS 1999»
    Average-Case Analysis of Isospeed Scalability of Parallel Computations on Multiprocessors
    14 years 4 months ago
    Average-Case Analysis of Isospeed Scalability of Parallel Computations on Multiprocessors
    Download  ipdps.cc.gatech.edu
    We investigate the average-case speed and scalability of parallel algorithms executing on multiprocessors. Our performance metrics are average-speed and isospeed scalability. By m...
    Keqin Li, Xian-He Sun
    claim paper
    Read More »
    SBACPAD
    2003
    IEEE
    138views Hardware» more  SBACPAD 2003»
    Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing
    14 years 5 months ago
    Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing
    Download  www.inf.ufes.br
     This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
    João Paulo De Angeli, Andréa M. P. V...
    claim paper
    Read More »
    OOPSLA
    2007
    Springer
    86views Security Privacy» more  OOPSLA 2007»
    Using early phase termination to eliminate load imbalances at barrier synchronization points
    14 years 6 months ago
    Using early phase termination to eliminate load imbalances at barrier synchronization points
    Download  people.csail.mit.edu
    We present a new technique, early phase termination, for eliminating idle processors in parallel computations that use barrier synchronization. This technique simply terminates ea...
    Martin C. Rinard
    claim paper
    Read More »
    ICFP
    2007
    ACM
    126views Programming Languages» more  ICFP 2007»
    Type-safe higher-order channels in ML-like languages
    15 years 16 days ago
    Type-safe higher-order channels in ML-like languages
    Download  www.postech.ac.kr
    As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
    Sungwoo Park
    claim paper
    Read More »
    DAC
    2009
    ACM
    105views Computer Architecture» more  DAC 2009»
    Misleading performance claims in parallel computations
    15 years 1 months ago
    Misleading performance claims in parallel computations
    Download  crd.lbl.gov
    David H. Bailey
    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.