Search Sciweavers | Sciweavers

12334 search results - page 146 / 2467

» The Use of C

157

click to vote

GCCB
2006

104views Distributed And Parallel Com...» more GCCB 2006»

Using Public Resource Computing and Systematic Pre-calculation for Large Scale Sequence Analysis

15 years 10 months ago

Download gccb2006.ulster.ac.uk

Thomas Rattei, Mathias C. Walter, Roland Arnold, D...

claim paper

Read More »

110

click to vote

ASPDAC
2001
ACM

59views Hardware» more ASPDAC 2001»

Module placement with boundary constraints using the sequence-pair representation

15 years 10 months ago

Download www.math.tu-dresden.de

Jianbang Lai, Ming-Shiun Lin, Ting-Chi Wang, Li-C....

claim paper

Read More »

131

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 10 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

129

click to vote

DAC
1995
ACM

107views Computer Architecture» more DAC 1995»

Performance-Driven Partitioning Using a Replication Graph Approach

15 years 10 months ago

Download www.cecs.uci.edu

Lung-Tien Liu, Ming-Ter Kuo, Chung-Kuan Cheng, T. ...

claim paper

Read More »

113

click to vote

CVPR
2008
IEEE

209views Computer Vision» more CVPR 2008»

Building segmentation for densely built urban regions using aerial LIDAR data

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers