Search Sciweavers | Sciweavers

18924 search results - page 112 / 3785

» Conformance of Distributed Systems

119

click to vote

ICS
1993
Tsinghua U.

81views Distributed And Parallel Com...» more ICS 1993»

Parallel Direct Solution of Large Sparse Systems in Finite Element Computations

15 years 10 months ago

Download www.pds.ewi.tudelft.nl

Hai-Xiang Lin, Henk J. Sips

claim paper

Read More »

141

click to vote

CONCUR
1992
Springer

67views Distributed And Parallel Com...» more CONCUR 1992»

Verification of Parallel Systems via Decomposition

15 years 10 months ago

Download www.win.tue.nl

Jan Friso Groote, Faron Moller

claim paper

Read More »

148

click to vote

REX
1993

121views Logical Reasoning» more REX 1993»

Verification Tools for Finite-State Concurrent Systems

15 years 10 months ago

Download www-2.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

124

click to vote

IPPS
1992
IEEE

87views Distributed And Parallel Com...» more IPPS 1992»

Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems

15 years 10 months ago

Download www.engr.colostate.edu

Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...

claim paper

Read More »

132

click to vote

SPDP
1992
IEEE

95views Distributed And Parallel Com...» more SPDP 1992»

A Balanced Layered Allocation Scheme for Hypercube Based Dataflow Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers