7393 search results - page 252 / 1479 » Synthesis-for-testability using transformations |
220
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
130
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
A Query by Humming system allows the user to find a song by humming part of the tune. No musical training is needed. Previous query by humming systems have not provided satisfacto...
127
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Privacy preserving data publishing has attracted considerable research interest in recent years. Among the existing solutions, -differential privacy provides one of the strongest p...
149
click to vote
ASUNAM
2009
IEEE
15 years 11 months ago
2009
IEEE
In order to understand the evolution of online identities, we measured the correlation between past and current representations of self on the MySpace social network. We applied s...
134
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...