Sciweavers

1451 search results - page 5 / 291
» Case Studies in Model Manipulation for Scientific Computing
Sort
View
123
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
131
Voted
CLUSTER
2007
IEEE
15 years 3 months ago
Predictive performance modelling of parallel component compositions
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
Lei Zhao, Stephen A. Jarvis
159
Voted
IPPS
2005
IEEE
15 years 9 months ago
Predictive Performance Modelling of Parallel Component Composition
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
Lei Zhao, Stephen A. Jarvis, Daniel P. Spooner, Gr...
136
Voted
IIE
2008
112views more  IIE 2008»
15 years 3 months ago
Towards a Blended Learning Model for Teaching and Learning Computer Programming: A Case Study
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
Said Hadjerrouit
119
Voted
SAMOS
2004
Springer
15 years 9 months ago
IDF Models for Trace Transformations: A Case Study in Computational Refinement
Cagkan Erbas, Simon Polstra, Andy D. Pimentel