1243 search results - page 134 / 249 » EDZL Scheduling Analysis |
103
click to vote
IJCSA
2006
15 years 1 months 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...
104
click to vote
ENTCS
2007
15 years 1 months 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...
145
Voted
ML
1998
ACM
15 years 1 months 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 1 months 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...
118
click to vote
SEDE
2010
14 years 11 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 ...