753 search results - page 47 / 151 » Fragments-based Model Reduction: Some Case Studies |
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
ITS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
INTERSPEECH
2010
13 years 3 months ago
2010
This study investigates the mechanism of tonal contraction when a disyllabic unit is merged into a monosyllable at fast speech rate in Taiwan Mandarin. Various degrees of contract...
WSC
2008
13 years 11 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...