1304 search results - page 140 / 261 » RTOS Modeling for System Level Design |
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
While researchers have invested substantial effort to build architectural power models, validating such models has proven difficult at best. In this paper, we examine the accurac...
128
click to vote
FUIN
2008
15 years 4 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
130
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
141
click to vote
FPGA
2010
ACM
15 years 2 months ago
2010
ACM
Metastability is a phenomenon that can cause system failures in digital circuits. It may occur whenever signals are being transmitted across asynchronous or unrelated clock domain...
136
click to vote
ANOR
2004
15 years 4 months ago
2004
Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches de...