1579 search results - page 151 / 316 » On the Constructions of Constant-Weight Codes |
157
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
189
click to vote
PPL
2008
15 years 6 months ago
2008
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
187
click to vote
JOT
2010
15 years 4 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
168
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In a previous work, we proposed a new family of nonredundant geometrical image transforms using Hybrid Wavelets and Directional filter banks (HWD). In this paper we further develo...
269
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...