Sciweavers

10182 search results - page 223 / 2037

» Case Studies

139

TYPES
1995
Springer

106views Formal Methods» more TYPES 1995»

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

15 years 10 months ago

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

Download www.mathematik.uni-muenchen.de

Ulrich Berger, Helmut Schwichtenberg

claim paper

Read More »

165

ICSE
1991
IEEE-ACM

92views Software Engineering» more ICSE 1991»

Software Reuse in an Industrial Setting: A Case Study

15 years 10 months ago

Software Reuse in an Industrial Setting: A Case Study

Download www.cs.virginia.edu

Michael F. Dunn, John C. Knight

claim paper

Read More »

155

VLDB
1991
ACM

143views Database» more VLDB 1991»

Effects of Database Size on Rule System Performance: Five Case Studies

15 years 10 months ago

Effects of Database Size on Rule System Performance: Five Case Studies

Download www.vldb.org

David A. Brant, Timothy Grose, Bernie J. Lofaso, D...

claim paper

Read More »

127

CHI
2010
ACM

195views Human Computer Interaction» more CHI 2010»

Auditory menus are not just spoken visual menus: a case study of "unavailable" menu items

15 years 10 months ago

Auditory menus are not just spoken visual menus: a case study of "unavailable" menu items

Download sonify.psych.gatech.edu

Myounghoon Jeon, Siddharth Gupta, Benjamin K. Davi...

claim paper

Read More »

175

CLOUDCOM
2009
Springer

155views Distributed And Parallel Com...» more CLOUDCOM 2009»

Biomedical Case Studies in Data Intensive Computing

15 years 10 months ago

Biomedical Case Studies in Data Intensive Computing

Download grids.ucs.indiana.edu

Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples

Geoffrey Fox, Xiaohong Qiu, Scott Beason, Jong Y. ...

claim paper

Read More »

« Prev « First page 223 / 2037 Last » Next »