861 search results - page 109 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
133
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
We analyze knowledge production in Computer Science by means of coauthorship networks. For this, we consider 30 graduate programs of different regions of the world, being 8 progra...
127
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
142
click to vote
MM
2005
ACM
15 years 8 months ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
160
click to vote
IWMM
2011
Springer
14 years 6 months ago
2011
Springer
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...
227
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...