7918 search results - page 1095 / 1584 » Model Composition Directives |
328
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
400
click to vote
VLDB
2006
ACM
16 years 7 months ago
2006
ACM
k-anonymity provides a measure of privacy protection by preventing re-identification of data to fewer than a group of k data items. While algorithms exist for producing k-anonymous...
210
Voted
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
Considering that quincunx lattice is a more efficient spatial sampling scheme than square lattice, we investigate a new approach of image coding for quincunx sample arrangement. T...
170
Voted
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
190
click to vote
ICCD
2002
IEEE
16 years 4 months ago
2002
IEEE
Power is considered to be the major limiter to the design of more faster and complex processors in the near future. In order to address this challenge, a combination of process, c...