Search Sciweavers | Sciweavers

115

ESOP
2000
Springer

181views Programming Languages» more ESOP 2000»

Compile-Time Debugging of C Programs Working on Trees

15 years 1 months ago

We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...

Jacob Elgaard, Anders Møller, Michael I. Sc...

claim paper

Read More »

104

click to vote

CF
2010
ACM

188views Applied Computing» more CF 2010»

Hybrid parallel programming with MPI and unified parallel C

15 years 1 months ago

Download www.mcs.anl.gov

The Message Passing Interface (MPI) is one of the most widely used programming models for parallel computing. However, the amount of memory available to an MPI process is limited ...

James Dinan, Pavan Balaji, Ewing L. Lusk, P. Saday...

claim paper

Read More »

86

click to vote

BMCBI
2010

208views more BMCBI 2010»

Using machine learning to speed up manual image annotation: application to a 3D imaging protocol for measuring single cell gene

14 years 10 months ago

Download www.biomedcentral.com

Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...

Zafer Aydin, John I. Murray, Robert H. Waterston, ...

claim paper

Read More »

82

click to vote

BMCBI
2005

113views more BMCBI 2005»

Normal uniform mixture differential gene expression detection for cDNA microarrays

14 years 9 months ago

Download www.biomedcentral.com

Background: One of the primary tasks in analysing gene expression data is finding genes that are differentially expressed in different samples. Multiple testing issues due to the ...

Nema Dean, Adrian E. Raftery

claim paper

Read More »

89

click to vote

ICIP
2005
IEEE

158views Image Processing» more ICIP 2005»

A new motion compensation approach for error resilient video coding

15 years 11 months ago