Sciweavers

    SPDP
    1991
    IEEE
    80views Distributed And Parallel Com...» more  SPDP 1991»
    A decentralized task scheduling algorithm and its performance modeling for computer networks
    13 years 11 months ago
    A decentralized task scheduling algorithm and its performance modeling for computer networks
    Download  ranger.uta.edu
    A dynamic taskschedulingalgorithm,that isstable,decentralized,and adaptivetonetwork topology,ispresented. Theproposedalgorithmisanextensionofnearestneighbor loadbalancingstrategyw...
    Ishfaq Ahmad, Arif Ghafoor, Kishan G. Mehrotra
    claim paper
    Read More »
    SPDP
    1991
    IEEE
    96views Distributed And Parallel Com...» more  SPDP 1991»
    Optimal randomized algorithms for multipacket and cut through routing on the mesh
    13 years 11 months ago
    Optimal randomized algorithms for multipacket and cut through routing on the mesh
    Download  www.engr.uconn.edu
    In this paper, we present a randomized algorithm for the multipacket (i.e., k − k) routing problem on an n × n mesh. The algorithm completes with high probability in at the mos...
    Sanguthevar Rajasekaran, Mukund Raghavachari
    claim paper
    Read More »
    SPDP
    1991
    IEEE
    130views Distributed And Parallel Com...» more  SPDP 1991»
    Local vs. global memory in the IBM RP3: experiments and performance modelling
    13 years 11 months ago
    Local vs. global memory in the IBM RP3: experiments and performance modelling
    Download  web.it.kth.se
    A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
    Mats Brorsson
    claim paper
    Read More »
    SPAA
    1991
    ACM
    95views Distributed And Parallel Com...» more  SPAA 1991»
    The Efficiency of Greedy Routing in Hypercubes and Butterflies
    13 years 11 months ago
    The Efficiency of Greedy Routing in Hypercubes and Butterflies
    Download  web.mit.edu
    George D. Stamoulis, John N. Tsitsiklis
    claim paper
    Read More »
    SPAA
    1991
    ACM
    92views Distributed And Parallel Com...» more  SPAA 1991»
    Fully-Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and Other Networks
    13 years 11 months ago
    Fully-Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and Other Networks
    Download  www.cs.columbia.edu
    Gustavo D. Pifarré, Luis Gravano, Sergio A....
    claim paper
    Read More »
    SPAA
    1991
    ACM
    93views Distributed And Parallel Com...» more  SPAA 1991»
    Impossibility Results for Asynchronous PRAM (Extended Abstract)
    13 years 11 months ago
    Impossibility Results for Asynchronous PRAM (Extended Abstract)
    Download  www.cs.brown.edu
    Maurice Herlihy
    claim paper
    Read More »
    REX
    1991
    89views Logical Reasoning» more  REX 1991»
    Timed Transition Systems
    13 years 11 months ago
    Timed Transition Systems
    Download  www.comp.nus.edu.sg
    Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    claim paper
    Read More »
    REX
    1991
    107views Logical Reasoning» more  REX 1991»
    The State Operator in Real Time Process Algebra
    13 years 11 months ago
    The State Operator in Real Time Process Algebra
    Download  igitur-archive.library.uu.nl
    Jos C. M. Baeten, Jan A. Bergstra
    claim paper
    Read More »
    REX
    1991
    91views Logical Reasoning» more  REX 1991»
    From Timed to Hybrid Systems
    13 years 11 months ago
    From Timed to Hybrid Systems
    Download  www-verimag.imag.fr
    We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
    Oded Maler, Zohar Manna, Amir Pnueli
    claim paper
    Read More »
    REX
    1991
    138views Logical Reasoning» more  REX 1991»
    Logics and Models of Real Time: A Survey
    13 years 11 months ago
    Logics and Models of Real Time: A Survey
    Download  mtc.epfl.ch
    We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
    Rajeev Alur, Thomas A. Henzinger
    claim paper
    Read More »
    « first‹ previous…203204205206207208209210211…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.