945 search results - page 140 / 189 » A Schedulability Analysis of Deferrable Scheduling Using Pat... |
113
Voted
IJCSA
2006
15 years 2 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...
109
click to vote
ENTCS
2007
15 years 2 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...
TC
1998
15 years 2 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...
153
click to vote
SIGCOMM
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents a novel framework for managing network congestion from an end-to-end perspective. Our work is motivated by several trends in traffic patterns that threaten th...
149
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...