908 search results - page 43 / 182 » Temporal Analysis of Time Bounded Digital Systems |
ICSE
1997
IEEE-ACM
15 years 1 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
105
click to vote
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—We analyze the delay performance of a multihop wireless network with a fixed route between each sourcedestination pair. There are arbitrary interference constraints on ...
ISMIR
2005
Springer
15 years 3 months ago
2005
Springer
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
The question whether preemptive systems are better than non-preemptive systems has been debated for a long time, but only partial answers have been provided in the real-time liter...
FMSD
2006
14 years 9 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...