Sciweavers

15777 search results - page 358 / 3156
» Engineering in Software
Sort
View
119
Voted
CISIS
2008
IEEE
15 years 7 months ago
Embla - Data Dependence Profiling for Parallel Programming
Karl-Filip Faxén, Konstantin Popov, Lars Al...
COMPSAC
2007
IEEE
15 years 7 months ago
A Method of Requirement Inconsistency Analysis
Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia
FASE
2008
Springer
15 years 6 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
AVI
2010
15 years 6 months ago
Interactive data exploration and knowledge discovery
Elena V. Zudilova-Seinstra, Jean-Bernard Martens, ...