861 search results - page 148 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
139
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Parallel dataflow programming frameworks such as Map-Reduce are increasingly being used for large scale data analysis on computing clouds. It is therefore becoming important to a...
135
Voted
MM
2009
ACM
15 years 9 months ago
2009
ACM
Emerging IPTV technology uses source-specific IP multicast to deliver TV programs to the end-users. To provide timely and reliable services over the error-prone DSL access networ...
136
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
104
click to vote
ISLPED
2006
ACM
15 years 8 months ago
2006
ACM
Many techniques have been developed for adaptive power management of computing systems. These techniques rely on the presence of varying power phases to detect opportunities for a...
111
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...