1188 search results - page 82 / 238 » Modeling synchronized time series |
158
click to vote
ISVLSI
2002
IEEE
15 years 10 months ago
2002
IEEE
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
187
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
145
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
173
click to vote
ECOOP
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
159
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...