435 search results - page 66 / 87 » Timing analysis of asynchronous circuits using timed automat... |
105
Voted
FMOODS
2003
15 years 1 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...
131
click to vote
EMSOFT
2006
Springer
15 years 4 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...
131
click to vote
VTS
2000
IEEE
15 years 4 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...
EMSOFT
2008
Springer
15 years 2 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...
114
Voted
TCS
2002
15 years 14 hour 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...