611 search results - page 52 / 123 » Relative simulation and model checking of real-time processe... |
ISQED
2011
IEEE
13 years 19 days ago
2011
IEEE
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
DEDS
2007
13 years 9 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
WSC
2004
13 years 10 months ago
2004
Data Farming leverages high performance computing to run simple models many times. This process allows for the exploration of massive parameter spaces relatively quickly. This pap...
WIAMIS
2009
IEEE
14 years 3 months ago
2009
IEEE
An adaptive, invariant to user performance fluctuation or noisy input signal, gesture recognition scheme is presented based on Self Organizing Maps, Markov Models and Levenshtein...
ITS
1998
Springer
14 years 1 months ago
1998
Springer
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...