660 search results - page 103 / 132 » Timed automata based analysis of embedded system architectur... |
119
click to vote
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
CASES
2009
ACM
15 years 4 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
69
Voted
DAC
2005
ACM
14 years 11 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
CODES
2003
IEEE
15 years 3 months ago
2003
IEEE
Future wireless internet enabled devices will be increasingly powerful supporting many more applications including one of the most crucial, security. Although SoCs offer more resi...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...