1022 search results - page 106 / 205 » The Modelling of Embedded Systems Using HASoC |
WISES
2003
13 years 11 months ago
2003
Abstract — Control systems are often software-intensive applications that are becoming extremely complex as new functionality is required. Complexity is a real engineering challe...
CASE
2011
12 years 10 months ago
2011
— 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...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
TCSV
2008
13 years 10 months ago
2008
Look-up table (LUT)-based data hiding is a simple and efficient technique to hide secondary information (watermark) into multimedia work for various applications such as copyright ...
RTAS
2008
IEEE
14 years 4 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...