31686 search results - page 358 / 6338 » Resource typing in Guru |
136
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
185
click to vote
FLOPS
2010
Springer
16 years 29 days ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
125
click to vote
ARITH
2009
IEEE
16 years 29 days ago
2009
IEEE
The paper introduces fine-grain clockgating schemes for fused multiply-add-type floating-point units (FPU). The clockgating is based on instruction type, precision and operand v...
152
click to vote
ICASSP
2009
IEEE
16 years 26 days ago
2009
IEEE
In this paper, we review our proposed statistical voice conversion approaches to enhancing various types of body transmitted speech captured with non-audible murmur (NAM) micropho...
160
Voted
SCALESPACE
2009
Springer
16 years 20 days ago
2009
Springer
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...