Distributed and Parallel Computing

29

SPDP
1991
IEEE

80views Distributed And Parallel Com...» more SPDP 1991»

A decentralized task scheduling algorithm and its performance modeling for computer networks

14 years 1 months ago

A dynamic taskschedulingalgorithm,that isstable,decentralized,and adaptivetonetwork topology,ispresented. Theproposedalgorithmisanextensionofnearestneighbor loadbalancingstrategyw...

Ishfaq Ahmad, Arif Ghafoor, Kishan G. Mehrotra

claim paper

Read More »

22

click to vote

SPDP
1991
IEEE

96views Distributed And Parallel Com...» more SPDP 1991»

Optimal randomized algorithms for multipacket and cut through routing on the mesh

14 years 1 months ago

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 »

31

click to vote

SPDP
1991
IEEE

130views Distributed And Parallel Com...» more SPDP 1991»

Local vs. global memory in the IBM RP3: experiments and performance modelling

14 years 1 months ago

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 »

33

click to vote

SPAA
1991
ACM

95views Distributed And Parallel Com...» more SPAA 1991»

The Efficiency of Greedy Routing in Hypercubes and Butterflies

14 years 1 months ago

Download web.mit.edu

George D. Stamoulis, John N. Tsitsiklis

claim paper

Read More »

28

click to vote

SPAA
1991
ACM

92views Distributed And Parallel Com...» more SPAA 1991»

Fully-Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and Other Networks

14 years 1 months ago

Download www.cs.columbia.edu

Gustavo D. Pifarré, Luis Gravano, Sergio A....

claim paper

Read More »

15

click to vote

SPAA
1991
ACM

93views Distributed And Parallel Com...» more SPAA 1991»

Impossibility Results for Asynchronous PRAM (Extended Abstract)

14 years 1 months ago

Download www.cs.brown.edu

Maurice Herlihy

claim paper

Read More »

21

click to vote

REX
1991

89views Logical Reasoning» more REX 1991»

Timed Transition Systems

14 years 1 months ago

Download www.comp.nus.edu.sg

Thomas A. Henzinger, Zohar Manna, Amir Pnueli

claim paper

Read More »

22

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

14 years 1 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

32

click to vote

REX
1991

91views Logical Reasoning» more REX 1991»

From Timed to Hybrid Systems

14 years 1 months ago

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 »

41

click to vote

REX
1991

138views Logical Reasoning» more REX 1991»

Logics and Models of Real Time: A Survey

14 years 1 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers