Sciweavers

3579 search results - page 192 / 716
» Transformations of software models into performance models
Sort
View
ICST
2008
IEEE
15 years 11 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
JSW
2006
112views more  JSW 2006»
15 years 4 months ago
An Integrated Approach to Quality Achievement with Architectural Design Decisions
Good software architecture is critically important for successful software development. The software architecture can be defined as a set of architectural design decisions. However...
Heeseok Choi, Youhee Choi, Keunhyuk Yeom
136
Voted
ICCS
2005
Springer
15 years 10 months ago
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Linxiang X. Wang, Roderick V. N. Melnik
SNPD
2008
15 years 6 months ago
Dynamic Data Feed to Bayesian Network Model and SMILE Web Application
A complete diagnostic Bayesian network model cannot be achieved and the result of the constructed model cannot be guaranteed unless correct and reliable data are provided to the m...
Nipat Jongsawat, Pittaya Poompuang, Wichian Premch...
CODES
1998
IEEE
15 years 9 months ago
Schedulability analysis of heterogeneous systems for performance message sequence chart
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
Frank Slomka, Jürgen Zant, Lennard Lambert