Search Sciweavers | Sciweavers

18898 search results - page 418 / 3780

» The Making of a Software Engineer

141

click to vote

VLSI
2007
Springer

89views Software Engineering» more VLSI 2007»

SWORD: A SAT like prover using word level information

16 years 1 months ago

Download www.informatik.uni-bremen.de

Robert Wille, Görschwin Fey, Daniel Groß...

claim paper

Read More »

157

click to vote

XPU
2007
Springer

80views Software Engineering» more XPU 2007»

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors

16 years 1 months ago

Download www.fernuni-hagen.de

Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...

claim paper

Read More »

135

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 1 months ago

Download home.in.tum.de

Andreas Bauer 0002, Martin Leucker, Christian Scha...

claim paper

Read More »

148

click to vote

CGO
2006
IEEE

127views Software Engineering» more CGO 2006»

Optimizing Dynamic Binary Translation for SIMD Instructions

16 years 1 months ago

Download www.cgo.org

Jianhui Li, Qi Zhang, Shu Xu, Bo Huang

claim paper

Read More »

144

click to vote

CGO
2006
IEEE

142views Software Engineering» more CGO 2006»

Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers