Sciweavers

981 search results - page 53 / 197
» Semantics-aware trace analysis
Sort
View
KDD
2010
ACM
270views Data Mining» more  KDD 2010»
15 years 3 months ago
An energy-efficient mobile recommender system
The increasing availability of large-scale location traces creates unprecedent opportunities to change the paradigm for knowledge discovery in transportation systems. A particular...
Yong Ge, Hui Xiong, Alexander Tuzhilin, Keli Xiao,...
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
15 years 8 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
ICMCS
2005
IEEE
158views Multimedia» more  ICMCS 2005»
15 years 7 months ago
Processor Load Analysis for Mobile Multimedia Streaming: The Implication of Power Reduction
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
Min Li, Xiaobo Wu, Zihua Guo, Richard Yao, Xiaolan...
MAGS
2008
114views more  MAGS 2008»
15 years 1 months ago
Automated formal analysis of human multi-issue negotiation processes
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
IPPS
2006
IEEE
15 years 8 months ago
A study of MPI performance analysis tools on Blue Gene/L
Applications on todays massively parallel supercomputers rely on performance analysis tools to guide them toward scalable performance on thousands of processors. However, conventi...
I-Hsin Chung, Robert Walkup, Hui-Fang Wen, Hao Yu