2905 search results - page 34 / 581 » Formal Memetic Algorithms |
88
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
83
Voted
DAC
2008
ACM
16 years 1 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...
111
Voted
COLING
1996
15 years 2 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...
201
Voted
ASIAN
2009
Springer
15 years 1 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...