7557 search results - page 391 / 1512 » Modeling Timed Concurrent Systems |
194
click to vote
FUIN
2008
15 years 6 months ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
174
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
162
click to vote
WSC
2004
15 years 8 months ago
2004
In the analysis of a manufacturing system, the analyst is often interested in the change in mean cycle time as a function of different throughput (start rate) levels. Since the va...
188
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
211
click to vote
CCGRID
2006
IEEE
16 years 25 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...