Sciweavers

4250 search results - page 230 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
AFRIGRAPH
2006
ACM
14 years 4 months ago
Free-form modelling for surface inpainting
In this paper, we describe a novel approach to 3D shape modelling, targeting at the reconstruction and repair of digitised models – a task that is frequently encountered in part...
Gerhard H. Bendels, Michael Guthe, Reinhard Klein
RTSS
2007
IEEE
14 years 5 months ago
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems
— We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
TASLP
2002
87views more  TASLP 2002»
13 years 10 months ago
A new audio coding scheme using a forward masking model and perceptually weighted vector quantization
This paper presents a new audio coder that includes two techniques to improve the sound quality of the audio coding system. First, a forward masking model is proposed. This model e...
Yuan-Hao Huang, Tzi-Dar Chiueh
SAFECOMP
2001
Springer
14 years 3 months ago
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
Mohamed Kaâniche, Yannick Le Guédart,...
KBSE
2008
IEEE
14 years 5 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim