5005 search results - page 841 / 1001 » The Design and Analysis of Parallel Algorithms |
129
click to vote
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
Off-Chip buses constitute a significant portion of the total system power in embedded systems. Past research has focused on encoding contiguous bit positions in data values to red...
151
click to vote
KDD
2003
ACM
16 years 5 months ago
2003
ACM
We introduce a novel data mining technique for the analysis of gene expression. Gene expression is the effective production of the protein that a gene encodes. We focus on the cha...
140
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
139
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
133
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...