Sciweavers

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