Results 251 to 260 of about 33,743 (312)

Convex Parametric Programming in Abstract Spaces

Optimization, 2002
This article studies stability and optimality for convex parametric programming models in abstract spaces. Necessary conditions for continuity of the feasible set mapping are given in complete metric spaces. This continuity is characterized for models in which the space of decision variables is reflexive Banach space.
M. Asgharian, S. Zlobec
openaire   +2 more sources

Tangent Cones, Generalized Gradients and Mathematical Programming in Banach Spaces

Mathematics of Operations Research, 1979
J. Hiriart-Urruty
exaly   +2 more sources

4 Contested Space: Higher Education Programming in Prisons

Philosophy and Theory in Higher Education, 2022
: While academic freedom is considered a birthright in higher education, the current hysteria surrounding teaching critical race theory in K–12 schools and at universities demonstrates an ongoing resistance to teaching theories that deconstruct and ...
Amos J. Lee
semanticscholar   +1 more source

Several lifted abstract domains for static analysis of numerical program families

Science of Computer Programming, 2022
Lifted (family-based) static analysis based on abstract interpretation is capable of analyzing all variants of a program family (or any other configurable software system), simultaneously, in a single run without generating any of the variants explicitly.
Aleksandar S. Dimovski, S. Apel, Axel Legay   +2 more
semanticscholar   +1 more source

A parallel implementation strategy for meshless methods based on the functional programming paradigm

Advances in Engineering Software, 2021
In this paper a parallel implementation strategy is presented, for meshless methods, using principles of functional programming and memory polymorphism.
M. Barbosa, J. Telles, J. Santiago, Edivaldo Figueiredo Fontes Junior, E. Costa   +4 more
semanticscholar   +1 more source

Derivation and presentation of an abstract program space for Ada

WPC '96. 4th Workshop on Program Comprehension, 2002
A visualisation concept called "layering" promises to deal with large software systems, but has to date been exclusively oriented towards the level of concrete code rather than more design level information. The first step in further progress is to derive with some degree of formalism a space of abstract program constructs that can be viewed by layers.
Bailes Paul A., Burnim Paul, Chapman Murray, Johnston Dan   +3 more
openaire   +2 more sources

Semivectorial bilevel programming versus scalar bilevel programming

Optimization, 2020
We consider an optimistic semivectorial bilevel programming problem in Banach spaces. The associated lower level multicriteria optimization problem is assumed to be convex w.r.t. its decision variable.
S. Dempe, P. Mehlitz
semanticscholar   +1 more source

State space reduction in abstract interpretation of parallel programs

Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94), 2002
Traditional compiler techniques operating on control flow graphs are not adequate for analyzing parallel programs where data can flow from one node to another through the shared memory, even though the nodes are not related by control flow edges. Abstract interpretation provides a general and unified framework for program analyses, and can be applied ...
Jyh-Herng Chow, Williams Ludwell Harrison III   +1 more
openaire   +1 more source