Search Sciweavers | Sciweavers

34202 search results - page 387 / 6841

» The Tera computer system

162

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 11 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

164

click to vote

CHI
1997
ACM

133views Human Computer Interaction» more CHI 1997»

Accounting for Individual Differences Through GAMES: Guided Adaptive Multimedia Editing System

15 years 11 months ago

Download jerry.c-lab.de

Bernd Gutkauf

claim paper

Read More »

147

click to vote

COMPCON
1996
IEEE

119views Computer Networks» more COMPCON 1996»

PowerPC Platform: A System Architecture

15 years 11 months ago

Download ascii.asciimw.jp

Steve Bunch, Ron Hochsprung, Todd Moore

claim paper

Read More »

186

click to vote

COORDINATION
1997
Springer

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

Control-Based Coordination of Human and Other Activities in Cooperative Information Systems

15 years 11 months ago

Download www2.cs.ucy.ac.cy

George A. Papadopoulos, Farhad Arbab

claim paper

Read More »

144

click to vote

ICNP
1996
IEEE

95views Computer Networks» more ICNP 1996»

Group communication protocol for flexible distributed systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers