4609 search results - page 767 / 922 » Automatic Generation of Sigma-Protocols |
145
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...
188
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
147
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Automated code generation and performance tuning techniques for concurrent architectures such as GPUs, Cell and FPGAs can provide integer factor speedups over multi-core processor...
157
click to vote
FQAS
2009
Springer
15 years 10 months ago
2009
Springer
Some recent works have shown that the “perfect” selection of the best IR system per query could lead to a significant improvement on the retrieval performance. Motivated by thi...
143
click to vote
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...