Sciweavers

15777 search results - page 291 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
CGO
2007
IEEE
16 years 1 months ago
Heterogeneous Clustered VLIW Microarchitectures
Alex Aletà, Josep M. Codina, Antonio Gonz&a...
ICSEA
2007
IEEE
16 years 1 months ago
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...
IWPC
2007
IEEE
16 years 1 months ago
Lagrein: Visualizing User Requirements and Development Effort
Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...
SEFM
2007
IEEE
16 years 1 months ago
Sound reasoning about unchecked exceptions
Bart Jacobs 0002, Peter Müller, Frank Piessen...