2905 search results - page 34 / 581 » Formal Memetic Algorithms |
VMCAI
2010
Springer
14 years 3 months ago
2010
Springer
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
DAC
2008
ACM
14 years 9 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
COLING
1996
13 years 10 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
ASIAN
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...