Search Sciweavers | Sciweavers

15416 search results - page 379 / 3084

» Embeddings of Computable Structures

184

click to vote

ICPADS
1998
IEEE

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

Cluster Queue Structure for Shared-Memory Multiprocessor Systems

15 years 11 months ago

Download www.cs.adfa.edu.au

Weiping Zhu, T. Liang, Ce-Kuen Shieh

claim paper

Read More »

163

click to vote

RELMICS
2000
Springer

79views Theoretical Computer Science» more RELMICS 2000»

Closure Systems and their Structure

15 years 11 months ago

Download www.cs.virginia.edu

Robert E. Jamison, John L. Pfaltz

claim paper

Read More »

171

click to vote

BANFF
1995

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

Specification Structures and Propositions-as-Types for Concurrency

15 years 11 months ago

Download www.dcs.gla.ac.uk

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

155

click to vote

CVRMED
1995
Springer

104views Computer Vision» more CVRMED 1995»

Automatic Retrieval of Anatomical Structures in 3D Medical Images

15 years 11 months ago

Download www.lirmm.fr

Jérôme Declerck, Gérard Subsol...

claim paper

Read More »

144

click to vote

ICNP
1995
IEEE

73views Computer Networks» more ICNP 1995»

Extension of protocol synthesis to structured entities

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers