Sciweavers

15777 search results - page 293 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
VLSI
2007
Springer
16 years 1 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
XPU
2007
Springer
16 years 1 months ago
EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors
Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...
129
Voted
ASWEC
2006
IEEE
16 years 1 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...