Search Sciweavers | Sciweavers

16725 search results - page 321 / 3345

» Engineering Software Correctness

268

Voted

ASPLOS
2009
ACM

131views Programming Languages» more ASPLOS 2009»

Commutativity analysis for software parallelization: letting program transformations see the big picture

16 years 5 months ago

Download www.cc.gatech.edu

Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...

Farhana Aleen, Nathan Clark

claim paper

Read More »

169

click to vote

FIDJI
2003
Springer

209views Distributed And Parallel Com...» more FIDJI 2003»

Hard Real-Time Implementation of Embedded Software in JAVA

15 years 9 months ago

Download www.irisa.fr

The popular slogan ”write once, run anywhere” eﬀectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...

Jean-Pierre Talpin, Abdoulaye Gamatié, Davi...

claim paper

Read More »

251

click to vote

POPL
2006
ACM

203views Programming Languages» more POPL 2006»

Formal certification of a compiler back-end or: programming a compiler with a proof assistant

16 years 4 months ago

Download pauillac.inria.fr

This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...

Xavier Leroy

claim paper

Read More »

106

click to vote

APSEC
2007
IEEE

102views Software Engineering» more APSEC 2007»

Accountability and Traceability in Global Software Engineering (ATGSE2007)

15 years 10 months ago

Download www.stage-project.jp

An Overview of the new workshop on Accountability and Traceability in Global Software Engineering (ATGSE2007) will be introduced here.

Katsuro Inoue, Mike Barker