566 search results - page 80 / 114 » Adaptive Online Program Analysis |
105
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Text messaging on interactive television in Italy is a media convergence phenomenon involving short message service, traditional television, and the World Wide Web. This study inv...
114
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
114
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
129
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We examine several online matching problems, with applications to Internet advertising reservation systems. Consider an edge-weighted bipartite graph G, with partite sets L, R. We...
126
click to vote
FAST
2010
15 years 4 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...