Sciweavers

3771 search results - page 271 / 755
» Subobject Transformation Systems
Sort
View
CORR
2011
Springer
204views Education» more  CORR 2011»
14 years 7 months ago
Chameleon: A Color-Adaptive Web Browser for Mobile OLED Displays
Displays based on organic light-emitting diode (OLED) technology are appearing on many mobile devices. Unlike liquid crystal displays (LCD), OLED displays consume dramatically dif...
Mian Dong, Lin Zhong
IWMM
2011
Springer
217views Hardware» more  IWMM 2011»
14 years 7 months ago
On the theory and potential of LRU-MRU collaborative cache management
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
Xiaoming Gu, Chen Ding
PPOPP
2011
ACM
14 years 7 months ago
ScalaExtrap: trace-based communication extrapolation for spmd programs
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
Xing Wu, Frank Mueller
RTA
2011
Springer
14 years 7 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
HUC
2011
Springer
14 years 3 months ago
The social fMRI: measuring, understanding, and designing social mechanisms in the real world
A key challenge of data-driven social science is the gathering of high quality multi-dimensional datasets. A second challenge relates to design and execution of structured experim...
Nadav Aharony, Wei Pan, Cory Ip, Inas Khayal, Alex...