Sciweavers

2702 search results - page 304 / 541
» constraints 2008
Sort
View
ICFP
2008
ACM
16 years 6 months ago
Type checking with open type functions
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T...
169
Voted
DCC
2008
IEEE
16 years 6 months ago
Dimension Reduction and Expansion: Distributed Source Coding in a Noisy Environment
We studied the problem of distributed coding and transmission of intercorrelated sources with memory. Different from the conventional distributed source coding structure which rel...
Anna N. Kim, Fredrik Hekland
EUROSYS
2008
ACM
16 years 3 months ago
Replication degree customization for high availability
Object replication is a common approach to enhance the availability of distributed data-intensive services and storage systems. Many such systems are known to have highly skewed o...
Ming Zhong, Kai Shen, Joel I. Seiferas
ALT
2008
Springer
16 years 3 months ago
Active Learning of Group-Structured Environments
The question investigated in this paper is to what extent an input representation influences the success of learning, in particular from the point of view of analyzing agents that...
Gábor Bartók, Csaba Szepesvár...
ICCD
2008
IEEE
157views Hardware» more  ICCD 2008»
16 years 3 months ago
Power-aware soft error hardening via selective voltage scaling
—Nanoscale integrated circuits are becoming increasingly sensitive to radiation-induced transient faults (soft errors) due to current technology scaling trends, such as shrinking...
Kai-Chiang Wu, Diana Marculescu