435 search results - page 66 / 87 » Timing analysis of asynchronous circuits using timed automat... |
136
Voted
FMOODS
2003
15 years 4 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
163
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
164
Voted
VTS
2000
IEEE
15 years 8 months ago
2000
IEEE
Transient Signal Analysis is a digital device testing method that is based on the analysis of voltage transients at multiple test points. In this paper, the power supply transient...
122
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
149
Voted
TCS
2002
15 years 3 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...