Sciweavers

15777 search results - page 342 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
AOSD
2008
ACM
15 years 5 months ago
Relational aspects as tracematches
Eric Bodden, Reehan Shaikh, Laurie J. Hendren
98
Voted
ARCS
2008
Springer
15 years 5 months ago
A Hardware Packet Re-Sequencer Unit for Network Processors
Michael Meitinger, Rainer Ohlendorf, Thomas Wild, ...
ICSE
2010
IEEE-ACM
15 years 5 months ago
Precise calling context encoding
William N. Sumner, Yunhui Zheng, Dasarath Weeratun...
ISSTA
2010
ACM
15 years 5 months ago
Generating test cases for specification mining
Valentin Dallmeier, Nikolai Knopp, Christoph Mallo...
CISIS
2008
IEEE
15 years 5 months ago
Embla - Data Dependence Profiling for Parallel Programming
Karl-Filip Faxén, Konstantin Popov, Lars Al...