5056 search results - page 480 / 1012 » Network Coding Theory |
125
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
227
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
151
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
183
click to vote
TACAS
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
139
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...