Sciweavers

5009 search results - page 678 / 1002
» Value chain modelling using system dynamics
Sort
View
MHCI
2004
Springer
16 years 2 days ago
Mobile Context Aware Systems: The Intelligence to Support Tasks and Effectively Utilise Resources
: The complex usage of mobile devices coupled with their limited resources in terms of display and processing suggests that being able to understand the context of the user would b...
Russell Beale, Peter Lonsdale
159
Voted
SIGMETRICS
2010
ACM
162views Hardware» more  SIGMETRICS 2010»
15 years 11 months ago
Coordinated power management of voltage islands in CMPs
Multiple clock domain architectures have recently been proposed to alleviate the power problem in CMPs by having different frequency/voltage values assigned to each domain based o...
Asit K. Mishra, Shekhar Srikantaiah, Mahmut T. Kan...
FMCAD
2009
Springer
16 years 1 months ago
Assume-guarantee validation for STE properties within an SVA environment
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham
PDPTA
2007
15 years 8 months ago
Communication with Super Flexible Messaging
Abstract Super Flexible Messaging (SFM) provides a powerful and elegant message passing abstraction for transferring arbitrary data between remote processes. SFM achieves the simpl...
Alexey Fedosov, Gregory Benson
TVCG
2008
131views more  TVCG 2008»
15 years 6 months ago
Real-Time Adaptive Radiometric Compensation
Recent radiometric compensation techniques make it possible to project images onto colored and textured surfaces. This is realized with projector-camera systems by scanning the pro...
Anselm Grundhöfer, Oliver Bimber