Search Sciweavers | Sciweavers

5653 search results - page 66 / 1131

» Distributed Conceptual Structures

125

click to vote

PODC
1989
ACM

58views Distributed and Parallel Com...» more PODC 1989»

A Structural Induction Theorem for Processes

15 years 10 months ago

Download www.cadence.com

Robert P. Kurshan, Kenneth L. McMillan

claim paper

Read More »

142

click to vote

FTDCS
2004
IEEE

114views Distributed And Parallel Com...» more FTDCS 2004»

Scalable, Structured Data Placement over P2P Storage Utilities

15 years 10 months ago

Download www.hpl.hp.com

Zheng Zhang, Mallik Mahalingam, Zhichen Xu, Wentin...

claim paper

Read More »

151

click to vote

ICPADS
1998
IEEE

119views Distributed And Parallel Com...» more ICPADS 1998»

Cluster Queue Structure for Shared-Memory Multiprocessor Systems

15 years 9 months ago

Download www.cs.adfa.edu.au

Weiping Zhu, T. Liang, Ce-Kuen Shieh

claim paper

Read More »

146

click to vote

BANFF
1995

112views Distributed And Parallel Com...» more BANFF 1995»

Specification Structures and Propositions-as-Types for Concurrency

15 years 9 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

164

click to vote

ACS
1999

103views Distributed And Parallel Com...» more ACS 1999»

Homotopy Structures for Algebras over a Monad

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers