4835 search results - page 679 / 967 » Refactoring Functional Programs |
128
click to vote
CCS
2011
ACM
14 years 17 days ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
158
click to vote
ICDCS
2011
IEEE
14 years 6 days ago
2011
IEEE
—Code dissemination in wireless sensor networks refers to the process of disseminating a new code image via wireless links to all sensor nodes after they are deployed. It is desi...
294
click to vote
DAC
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we introduce Chisel, a new hardware construction language that supports advanced hardware design using highly parameterized generators and layered domain-specific h...
136
click to vote
TKDE
2012
13 years 3 months ago
2012
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...
94
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
An efficient method for rate control is illustrated for joint source-channel rate selection and for encoding under multiple leaky bucket buffer constraints. This method shows adva...