搜索结果: 1-15 共查到“Constraint”相关记录137条 . 查询时间(0.062 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Remarks on the vanishing viscosity process of state-constraint Hamilton-Jacobi equations
状态约束 哈密尔顿-雅可比方程 黏度消失
2023/4/21
We investigate the convergence rate in the vanishing viscosity process of the solutions to the subquadratic state-constraint Hamilton-Jacobi equations. We give two different proofs of the fact that, f...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Maximizing Approximately Non-k-Submodular Monotone Set Function with Matroid Constraint
最大化 矩阵约束 近似非k子模 单调集函数
2023/5/12
Utilizing approximation algorithm, there has been a large quantity of work on optimization for submodular functions since the 1970s. As a variant, $k$-submodular function appears in many fields to mat...
Security is an Architectural Design Constraint
Digital systems design constraints security-efficiency trade-off
2019/3/1
In state-of-the-art design paradigm, time, space and power efficiency are considered the primary design constraints. Quite often, this approach adversely impacts the security of the overall system, es...
BUILDING FACADE MODELING UNDER LINE FEATURE CONSTRAINT BASED ON CLOSE-RANGE IMAGES
Close-range Image Line Feature Building Modeling
2018/5/15
To solve existing problems in modeling facade of building merely with point feature based on close-range images , a new method for modeling building facade under line feature constraint is proposed in...
上海财经大学微观经济学课件Chapter 2 Budget Constraint。
Analysis of AES, SKINNY, and Others with Constraint Programming
Differential Cryptanalysis Integral Cryptanalysis Constraint Programming
2017/2/24
Search for different types of distinguishers are common tasks in symmetric-key cryptanalysis. In this work, we employ the constraint programming (CP) technique to tackle such problems. First, we show ...
Revisiting AES Related-Key Differential Attacks with Constraint Programming
AES Constraint Programming Related Key differential
2017/2/21
The Advanced Encryption Standard (AES) is one of the most studied symmetric encryption schemes. During the last years, several attacks have been discovered in different adversary models. In this paper...
Constraint-hiding Constrained PRFs for NC1 from LWE
Graded encodings constraint-hiding PRFs functional encryption
2017/2/21
Constraint-hiding constrained PRFs (CHCPRFs), initially studied by Boneh, Lewi and Wu [PKC 2017], are constrained PRFs where the constrained key hides the description of the constraint. Envisioned wit...
A First Class Constraint Generates Not a Gauge Transformation,But a Bad Physical Change:The Case of Electromagnetism
empirical equivalence gauge freedom quantum gravity problem of time
2016/6/15
In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that each first-class constraint in Maxwe...
Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been dev...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
Partial Online Cycle Elimination in Inclusion Constraint Graphs
Partial Online Cycle Elimination Inclusion Constraint Graphs
2016/5/24
Many program analyses are naturally formulated and implemented using inclusion constraints. We present new results on the scalable implementation of such analyses based on two insights: rst, that onl...
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Projection Merging Reducing Redundancies Inclusion Constraint Graphs
2016/5/24
Inclusion-based program analyses are implemented by adding new edges to directed graphs. In most analyses, there are many di erent ways to add a transitive edge between two nodes, namely through each ...
The Set Constraint/CFL Reachability Connection in Practice
Set constraints context-free language reachability flow analysis type qualifiers
2016/5/24
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new reduction from Dyck-CFL r...
Banshee: A Scalable Constraint-Based Analysis Toolkit
Banshee Scalable Constraint-Based Analysis Toolkit
2016/5/24
We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis...