Sciweavers

2212 search results - page 333 / 443
» Weighted control scheduling
Sort
View
VL
1992
IEEE
153views Visual Languages» more  VL 1992»
14 years 1 months ago
MAVIS: A Visual Environment for Active Computer Vision
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
Thomas J. Olson, Nicholas G. Klop, Mark R. Hyett, ...
ICDT
2010
ACM
163views Database» more  ICDT 2010»
14 years 1 months ago
A Theoretical Study of 'Snapshot Isolation'
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...
Ragnar Normann, Lene T. Østby
CAV
2008
Springer
96views Hardware» more  CAV 2008»
14 years 2 days ago
Monitoring Atomicity in Concurrent Programs
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
Azadeh Farzan, P. Madhusudan
AICT
2005
IEEE
157views Communications» more  AICT 2005»
14 years 2 days ago
Fast Retransmission of Real-Time Traffic in HIPERLAN/2 Systems
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...
Jose A. Afonso, Joaquim E. Neves
APNOMS
2006
Springer
14 years 2 days ago
End-to-End QoS Guaranteed Service in WLAN and 3GPP Interworking Network
In this paper, we model the end-to-end QoS provisioning mechanisms in the WLAN and 3GPP interworking network. For the end-to-end QoS guaranteed service, we model the control plane ...
Sung-Min Oh, Jae-Hyun Kim, You-Sun Hwang, Hyeyeon ...