Search Sciweavers | Sciweavers

13271 search results - page 262 / 2655

» Computers, Programming, and People

146

click to vote

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

15 years 10 months ago

Download spinroot.com

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

143

click to vote

FOCS
1995
IEEE

84views Theoretical Computer Science» more FOCS 1995»

Lower Bounds for Monotone Span Programs

15 years 10 months ago

Download people.cs.uchicago.edu

Amos Beimel, Anna Gál, Mike Paterson

claim paper

Read More »

125

click to vote

ICS
1995
Tsinghua U.

89views Distributed And Parallel Com...» more ICS 1995»

Communication Strategies for Out-of-Core Programs on Distributed Memory Machines

15 years 10 months ago

Download grids.ucs.indiana.edu

Rajesh Bordawekar, Alok N. Choudhary

claim paper

Read More »

118

click to vote

SC
1995
ACM

93views Applied Computing» more SC 1995»

Automated Performance Prediction of Message-Passing Parallel Programs

15 years 10 months ago

Download www.chg.ru

Robert J. Block, Sekhar R. Sarukkai, Pankaj Mehra

claim paper

Read More »

click to vote

ACPC
1991
Springer

77views Distributed And Parallel Com...» more ACPC 1991»

Data Parallel Program Design

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers