Search Sciweavers | Sciweavers

16159 search results - page 334 / 3232

» Parallel computing with CUDA

139

click to vote

PODC
1998
ACM

92views Distributed and Parallel Com...» more PODC 1998»

Synthesis of Fault-Tolerant Concurrent Programs

15 years 11 months ago

Download ceti.cse.ohio-state.edu

Anish Arora, Paul C. Attie, E. Allen Emerson

claim paper

Read More »

147

click to vote

PODC
1998
ACM

95views Distributed and Parallel Com...» more PODC 1998»

An Adaptive Totally Ordered Multicast Protocol That Tolerates Partitions

15 years 11 months ago

Download people.csail.mit.edu

Gregory Chockler, N. Huleihel, Danny Dolev

claim paper

Read More »

130

click to vote

CONCUR
1998
Springer

90views Distributed And Parallel Com...» more CONCUR 1998»

Detecting Deadlocks in Concurrent Systems

15 years 11 months ago

Download www.brics.dk

Lisbeth Fajstrup, Eric Goubault, Martin Rauß...

claim paper

Read More »

129

click to vote

CONCUR
1998
Springer

101views Distributed And Parallel Com...» more CONCUR 1998»

A Categorical Axiomatics for Bisimulation

15 years 11 months ago

Download www.brics.dk

Gian Luca Cattani, John Power, Glynn Winskel

claim paper

Read More »

133

click to vote

SPAA
1998
ACM

88views Distributed And Parallel Com...» more SPAA 1998»

Thread Scheduling for Multiprogrammed Multiprocessors

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers