Sciweavers

15777 search results - page 291 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
CGO
2007
IEEE
15 years 9 months ago
Heterogeneous Clustered VLIW Microarchitectures
Alex Aletà, Josep M. Codina, Antonio Gonz&a...
101
Voted
ICSEA
2007
IEEE
15 years 9 months ago
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...
IWPC
2007
IEEE
15 years 9 months ago
Lagrein: Visualizing User Requirements and Development Effort
Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...
75
Voted
SCAM
2007
IEEE
15 years 9 months ago
An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW
Marius Marin, Leon Moonen, Arie van Deursen
120
Voted
SEFM
2007
IEEE
15 years 9 months ago
Sound reasoning about unchecked exceptions
Bart Jacobs 0002, Peter Müller, Frank Piessen...