908 search results - page 9 / 182 » Temporal Analysis of Time Bounded Digital Systems |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
LCTRTS
1998
Springer
13 years 12 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
ICDCS
1995
IEEE
13 years 11 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
SIP
2001
13 years 9 months ago
2001
This paper introduces algorithms for determining the "relevance" of each frame (and objects within the frame) to the scenes present in a given video sequence. Specifical...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...