Results 331 to 340 of about 9,061,188 (344)

The use of domain knowledge in program understanding

Annals of Software Engineering, 2000
Program understanding is an essential part of all software maintenance and enhancement activities. As currently practiced, program understanding consists mainly of code reading. The few automated understanding tools that are actually used in industry provide helpful but relatively shallow information, such as the line numbers on which variable names ...
openaire   +2 more sources

Time domain electromagnetic transients programs

2000 Power Engineering Society Summer Meeting (Cat. No.00CH37134), 2002
Several tools have been used over the years to analyze electromagnetic transients in power systems. The digital computer is the most popular tool, although TNAs and the new generation of real-time digital systems are also used, mainly in applications for which either a very high-speed or a real-time simulation is required.
openaire   +2 more sources

Sequential Quadratic Programming

Acta Numerica, 1995
P. Boggs, J. Tolle
semanticscholar   +1 more source

Fundamental Domains for Integer Programs with Symmetries

2007
We define a fundamental domain of a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then provide a construction for the polytope of a fundamental domain defined by the maximization of a linear function. The computation of this fundamental domain is at worst polynomial in the size of the group.
openaire   +2 more sources

What they learn when they learn coding: investigating cognitive domains and computer programming knowledge in young children

Educational technology research and development, 2018
Amanda Strawhacker, M. Bers
semanticscholar   +1 more source

Commutative Semantics for Probabilistic Programming

European Symposium on Programming, 2017
S. Staton
semanticscholar   +1 more source

A Grammar Design Pattern for Arbitrary Program Synthesis Problems in Genetic Programming

European Conference on Genetic Programming, 2017
Stefan Forstenlechner, David Fagan, Miguel Nicolau, M. O’Neill   +3 more
semanticscholar   +1 more source

Obsidian: A Safer Blockchain Programming Language

2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017
Michael J. Coblenz
semanticscholar   +1 more source

Fast polyhedra abstract domain

ACM-SIGACT Symposium on Principles of Programming Languages, 2017
Gagandeep Singh, Markus Püschel, Martin T. Vechev   +2 more
semanticscholar   +1 more source

A domain independent Genetic Programming approach to automatic feature extraction for image classification

IEEE Congress on Evolutionary Computation, 2011
Daniel L. Atkins, K. Neshatian, Mengjie Zhang   +2 more
semanticscholar   +1 more source