Search Sciweavers | Sciweavers

13752 search results - page 219 / 2751

» Parallel and Distributed Haskells

143

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 10 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

150

click to vote

COORDINATION
1997
Springer

98views Distributed And Parallel Com...» more COORDINATION 1997»

Modeling Railway Control Systems Using Graph Grammars: A Case Study

15 years 10 months ago

Download hal.archives-ouvertes.fr

A. A. Holzbacher, M. Périn, Mario Südh...

claim paper

Read More »

145

click to vote

ICPADS
1996
IEEE

79views Distributed And Parallel Com...» more ICPADS 1996»

Double parity sparing for performance improvement in disk arrays

15 years 10 months ago

Download ilab1.korea.ac.kr

Min-Young Lee, Myong-Soon Park

claim paper

Read More »

137

click to vote

ICPP
1996
IEEE

113views Distributed And Parallel Com...» more ICPP 1996»

An Efficient Hybrid Cache Coherence Protocol for Shared Memory Multiprocessors

15 years 10 months ago

Download cial.csie.ncku.edu.tw

Yeimkuan Chang, Laxmi N. Bhuyan

claim paper

Read More »

118

click to vote

ICPP
1996
IEEE

92views Distributed And Parallel Com...» more ICPP 1996»

A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers