2544 search results - page 357 / 509 » Process pipeline scheduling |
154
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
IMVS (Intelligent Mobile Video Stream Monitoring System) is a mobile video surveillance system. The objective of IMVS is to design a high performance video stream monitoring syste...
132
Voted
PODC
1997
ACM
15 years 9 months ago
1997
ACM
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
172
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
132
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
148
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...