3565 search results - page 244 / 713 » Modeling a system controller for timing analysis |
124
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
186
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
248
click to vote
JUCS
2002
15 years 3 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
115
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
136
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...