Sciweavers

4854 search results - page 16 / 971
» It's the Programming, Stupid
Sort
View
FUIN
1998
112views more  FUIN 1998»
14 years 9 months ago
A Historical Perspective on the Evolution of Executable Structures
Genetic programming (Koza 1992) is a method of inducing behaviors represented as executable programs. The generality of the approach has spawned a proliferation of work in the evo...
Peter J. Angeline
ICASSP
2011
IEEE
14 years 1 months ago
Fast algorithm for beamforming problems in distributed communication of relay networks
A sequential quadratic programming (SQP) method is proposed to solve the distributed beamforming problem in multiple relay networks. The problem is formulated as the minimization ...
Cong Sun, Yaxiang Yuan
CORR
2000
Springer
138views Education» more  CORR 2000»
14 years 9 months ago
Towards rule-based visual programming of generic visual systems
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
Berthold Hoffmann, Mark Minas
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
JLP
2011
106views more  JLP 2011»
14 years 20 days ago
Concurrent Kleene Algebra and its Foundations
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
Tony Hoare, Bernhard Möller, Georg Struth, Ia...