4118 search results - page 343 / 824 » Mechanisms for usage control |
186
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Cores in a chip-multiprocessor (CMP) system share multiple hardware resources in the memory subsystem. If resource sharing is unfair, some applications can be delayed significantl...
184
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper studies the streaming of packetized media from multiple servers to a client over a lossy network. In particular, we propose a client-driven rate-distortion optimal pack...
172
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
229
click to vote
AIMS
2008
Springer
16 years 1 months ago
2008
Springer
We explore how fixed-point operators can be designed to interact and be composed to form autonomic control mechanisms. We depart from the idea that an operator is idempotent only ...
172
Voted
MIPS
2004
Springer
16 years 3 days ago
2004
Springer
We present the development and experimentation of a distributed system for pervasive video communication on gigabit networks. We have implemented an event-based control mechanism f...