Sciweavers

3901 search results - page 86 / 781
» software 2008
Sort
View
80
Voted
SEFM
2008
IEEE
15 years 7 months ago
Ontology-Based Automatic Model Transformations
Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens ...
87
Voted
CISIS
2008
IEEE
15 years 2 months ago
Embla - Data Dependence Profiling for Parallel Programming
Karl-Filip Faxén, Konstantin Popov, Lars Al...
FASE
2008
Springer
15 years 2 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...