Sciweavers

1105 search results - page 162 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
140
Voted
CASE
2011
102views more  CASE 2011»
14 years 3 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
IEICET
2006
114views more  IEICET 2006»
15 years 3 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
136
Voted
CODES
2007
IEEE
15 years 9 months ago
Complex task activation schemes in system level performance analysis
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
Wolfgang Haid, Lothar Thiele
CIIT
2004
104views Communications» more  CIIT 2004»
15 years 4 months ago
Semi-automatic compensation of the propagation delay in fault-tolerant systems
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
Thomas Losert, Wilfried Elmenreich, Martin Schlage...
ISNN
2009
Springer
15 years 10 months ago
Research on Segment Acoustic Model Based Mandarin LVCSR
SM has shown a better performance than HMM in connected word recognition system; however, no reports we have read show that SM has been applied in LVCSR as decoding acoustic model ...
Wenju Liu, Yun Tang, Shouye Peng