搜索结果: 1-15 共查到“计算机科学技术 Constraints”相关记录17条 . 查询时间(0.048 秒)
Systems of set constraints are a natural formalism for many problems in program analysis. Set constraints are also a generalization of tree automata. We present an algorithm for solving systems of set...
We present a general algorithm for solving systems of inclusion constraints over type expressions.The constraint language includes function types, constructor types, and liberal intersection and union...
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. We present several results on the computational com...
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on uni cation of equality constraints over terms are very fast...
Entailment with Conditional Equality Constraints
Entailment Conditional Equality Constraints
2016/5/24
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend equality constraints wi...
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Regularly Annotated Set Constraints
Set constraints context-free language reachability flow analysis
2016/5/24
A general class of program analyses are a combination of contextfree and regular language reachability. We define regularly annotated set constraints, a constraint formalism that captures this class. ...
Decidability of Systems of Set Constraints with Negative Constraints
Decidability Systems Set Constraints Negative Constraints
2016/5/24
Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general sy...
Processor speed control with thermal constraints
Computer processors chips processors processor power function
2015/8/7
We consider the problem of adjusting speeds of multiple computer processors sharing the same thermal environment, such as a chip or multi-chip package. We assume that the speed of processor (and assoc...
Filters and Ultrafilters as Approximate Solutions in the Attainability Problems with Constraints of Asymptotic Character
Control problems Ultrafilters Topology
2013/1/29
Abstract problems about attainability in topological spaces are considered. Some nonsequential version of the Warga approximate solutions is investigated: we use filters and ultrafilters of measurable...
Study on Delaunay Triangulation with the Islets Constraints
Islets Constraints Bidirectional Search Delaunay Triangulation
2013/1/29
Aiming at Delaunay triangulation with islets constrains in terrain simulation. A general Delaunay triangulation algorithm for constrained data set with islets is proposed. The algorithm firstly constr...
LOCALITY PRESERVING CONSTRAINTS FOR SUPER-RESOLUTION WITH NEIGHBOR EMBEDDING
Super-resolution Neighbor embedding Manifold assumption Locality preserving constraints
2013/7/16
In this paper, we revisit the manifold assumption which has been widely adopted in the learning-based image superresolution. The assumption states that point-pairs from the high-resolution manifold sh...
Sample-based Decision Support for Specifying XML Constraints
Sample-based Decision Support Specifying XML Constraints
2014/3/11
Constraints can express important semantic information about the target XML repository. This information is utilised to model, store and process documents appropriately and more efficiently. Inpractic...
AbstractThe problem of constructing a Petri net feedback controller, which enforces linear inequality constraints involving the marking vector and the Parikh vector on a discrete event system (DES) mo...