Sciweavers

5084 search results - page 789 / 1017
» Proving Possibility Properties
Sort
View
MICRO
2002
IEEE
114views Hardware» more  MICRO 2002»
16 years 5 days ago
Characterizing and predicting value degree of use
A value’s degree of use—the number of dynamic uses of that value—provides the most essential information needed to optimize its communication. We present simulation results ...
J. Adam Butts, Gurindar S. Sohi
PDP
2002
IEEE
16 years 5 days ago
A Jini Framework for Distributed Service Flexibility
Existing distributed middleware technologies and Enterprise Application frameworks lack in support to service flexibility from both the developer’s and user’s point of view. ...
Domenico Cotroneo, Cristiano di Flora, Stefano Rus...
PG
2002
IEEE
16 years 5 days ago
Lighting Interpolation by Shadow Morphing Using Intrinsic Lumigraphs
Densely-sampled image representations such as the light field or Lumigraph have been effective in enabling photorealistic image synthesis. Unfortunately, lighting interpolation w...
Yasuyuki Matsushita, Sing Bing Kang, Stephen Lin, ...
SACMAT
2010
ACM
16 years 2 days ago
Role updating for assignments
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
SIGMETRICS
2010
ACM
150views Hardware» more  SIGMETRICS 2010»
16 years 2 days ago
Incentive compatibility and dynamics of congestion control
This paper studies under what conditions congestion control schemes can be both efficient, so that capacity is not wasted, and incentive compatible, so that each participant can m...
Brighten Godfrey, Michael Schapira, Aviv Zohar, Sc...