Sciweavers

7168 search results - page 493 / 1434
» A Factorization Approach to Grouping
Sort
View
CSCW
2012
ACM
14 years 2 months ago
Transforming solitary exercises into social exergames
This paper discusses an approach for transforming solitary exercises into social exergames. We frame our discussion by highlighting the relation between the original exercises and...
Taiwoo Park, Chungkuk Yoo, Sungwon Peter Choe, Byu...
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 9 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
WWW
2004
ACM
16 years 7 months ago
Computing personalized pageranks
A recently published approach to adaptive page rank, using the solution of quadratic optimization methods with a set of simple constraints [3], is modified to permit classificatio...
Franco Scarselli, Ah Chung Tsoi, Markus Hagenbuchn...
ICCS
2009
Springer
16 years 1 months ago
Hiding Communication Latency with Non-SPMD, Graph-Based Execution
Reformulating an algorithm to mask communication delays is crucial in maintaining scalability, but traditional solutions embed the overlap strategy into the application. We present...
Jacob Sorensen, Scott B. Baden
DDECS
2008
IEEE
104views Hardware» more  DDECS 2008»
16 years 1 months ago
Temperature-Aware Task Mapping for Energy Optimization with Dynamic Voltage Scaling
—Temperature has become an important issue in nowadays MPSoCs design due to the ever increasing power densities and huge energy consumption. This paper proposes a temperature-awa...
Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng