Search Sciweavers | Sciweavers

10848 search results - page 112 / 2170

» Programming in Biomolecular Computation

154

click to vote

PDCAT
2009
Springer

141views Distributed And Parallel Com...» more PDCAT 2009»

A Coordination Language for Programming Embedded Multi-Core Systems

16 years 28 days ago

Download www.first.fraunhofer.de

Tobias Schuele

claim paper

Read More »

169

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

16 years 22 days ago

Download www-lipn.univ-paris13.fr

Sylvie Boldo, Jean-Christophe Filliâtre

claim paper

Read More »

135

click to vote

SPIN
2007
Springer

97views Theoretical Computer Science» more SPIN 2007»

Instrumenting C Programs with Nested Word Monitors

16 years 15 days ago

Download www.cse.psu.edu

Swarat Chaudhuri, Rajeev Alur

claim paper

Read More »

140

click to vote

IPPS
2006
IEEE

98views Distributed And Parallel Com...» more IPPS 2006»

New parallel programming abstractions and the role of compilers

16 years 12 days ago

Download www.cecs.uci.edu

Laxmikant V. Kalé

claim paper

Read More »

146

click to vote

PODC
2006
ACM

120views Distributed And Parallel Com...» more PODC 2006»

The art of multiprocessor programming

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers