1243 search results - page 186 / 249 » FPZL Schedulability Analysis |
99
Voted
IJCSA
2006
15 years 16 days ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
91
Voted
ENTCS
2007
15 years 15 days ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
125
Voted
ML
1998
ACM
15 years 6 days ago
1998
ACM
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
TC
1998
15 years 6 days ago
1998
—When parallel programs are executed on multiprocessors with private caches, a set of data may be repeatedly used and modified by different threads. Such data sharing can often r...
110
click to vote
SEDE
2010
14 years 10 months ago
2010
Test is a key activity for ensuring software quality. There is always pressure from project sponsor and management for software development team to commit to shorter schedule and ...