Sciweavers

15787 search results - page 322 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
VLSI
2007
Springer
15 years 10 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
XPU
2007
Springer
15 years 10 months ago
EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors
Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...
ASWEC
2006
IEEE
15 years 10 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...
CGO
2006
IEEE
15 years 10 months ago
Optimizing Dynamic Binary Translation for SIMD Instructions
Jianhui Li, Qi Zhang, Shu Xu, Bo Huang