Search Sciweavers | Sciweavers

34202 search results - page 383 / 6841

» The Tera computer system

165

click to vote

BIRTHDAY
2000
Springer

92views Applied Computing» more BIRTHDAY 2000»

A calculus of communicating systems with label passing - ten years after

15 years 12 months ago

Download www.evernote.com

Uffe Engberg, Mogens Nielsen

claim paper

Read More »

173

click to vote

DAC
1999
ACM

150views Computer Architecture» more DAC 1999»

System-Level Hardware/Software Trade-offs

15 years 12 months ago

Download www.cecs.uci.edu

Samuel P. Harbison

claim paper

Read More »

163

click to vote

DAC
1999
ACM

125views Computer Architecture» more DAC 1999»

ECL: A Specification Environment for System-Level Design

15 years 12 months ago

Download www.cecs.uci.edu

Luciano Lavagno, Ellen Sentovich

claim paper

Read More »

156

click to vote

ICDCS
1999
IEEE

97views Distributed And Parallel Com...» more ICDCS 1999»

Fast and Fair Mutual Exclusion for Shared Memory Systems

15 years 12 months ago

Download www.csie.nctu.edu.tw

Ting-Lu Huang

claim paper

Read More »

187

click to vote

ARTS
1999
Springer

242views Distributed And Parallel Com...» more ARTS 1999»

Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers