Sciweavers

15777 search results - page 366 / 3156
» Engineering in Software
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...
150
Voted
TMRA
2007
Springer
16 years 26 days ago
TMchartis- A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps
Hendrik Thomas, Rike Brecht, Bernd Markscheffel, S...
117
Voted
VLSI
2007
Springer
16 years 26 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
ICSEA
2006
IEEE
16 years 24 days ago
Performance Model Interchange Format: Semantic Validation
Daniel Garcia, Catalina M. Lladó, Connie U....