Sciweavers

15777 search results - page 366 / 3156
» Engineering in Software
Sort
View
CGO
2007
IEEE
15 years 11 months ago
Heterogeneous Clustered VLIW Microarchitectures
Alex Aletà, Josep M. Codina, Antonio Gonz&a...
ICSEA
2007
IEEE
15 years 11 months ago
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...
VLSI
2007
Springer
15 years 11 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
126
Voted
ICSEA
2006
IEEE
15 years 11 months ago
Performance Model Interchange Format: Semantic Validation
Daniel Garcia, Catalina M. Lladó, Connie U....