5054 search results - page 350 / 1011 » simulation 2008 |
186
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
161
Voted
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
170
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in the mathematical framework. In...
140
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—The error detection performance of CRC coding in LTE with general two-level early stopping algorithms for turbo decoding is investigated. Analytical models for the probability o...
181
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Exploratory learning supports creative thinking, allowing learners to control their own learning process, whilst it provides them with help and guidance when necessary. This pedago...