- Subscribe to this page:
- RSS
- Email Alert
constraints
(4663 results)
White Papers, Webcasts, and Resources
-
From afar, it's hard not to appreciate the irony of malware disguised as security software. Tune into this live webcast to hear from security experts about this unique form of malware and how to avoid it from spreading to your network.
-
Blog Posts
Defining cascading referential integrity constraints in SQL Server
June 25, 2007 11:27pm PDT
Cascading referential integrity constraints are foreign key constraints that tell SQL Server to perform certain actions when a primary key field in a primary key-foreign key relationship is...
8 Latest comment by gspiv
-
White Papers
Constraint-Directed Search In Computational Finance And Economics
June 22, 2010 12:00am PDT
Constraints shield solutions from a problem solver. However, in the hands of trained constraint problem solvers, the same constraints that create the problems in the first place can also guide...
Provided by: University of Essex
-
White Papers
A Constraint-based Test Suite Reduction Method for Conservative Regression Testing
February 1, 2011 12:00am PST
In regression testing, an important problem is how to select a smaller size of test set for execution. The authors present a novel constraint-oriented test suite reduction method for conservative...
Provided by: Academy Publisher
-
White Papers
Maintaining Generalized Arc Consistency on Ad-Hoc N-Ary Boolean Constraints
May 12, 2006 12:00am PDT
Binary Decision Diagrams (BDDs) can compactly represent ad-hoc nary Boolean constraints. However, there is no Generalized Arc Consistency (GAC) algorithm which exploits BDDs. For example, the...
Provided by: National University of Singapore
-
White Papers
New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks
December 15, 2006 12:00am PST
The authors study the problem of computing a leximin optimal solution of a constraint network. This problem is highly motivated by fairness and efficiency requirements in many real-world...
Provided by: International Joint Conferences on Artificial Intelligence (IJCAI)
-
-
White Papers
Optimizing Constraint Solving to Better Support Symbolic Execution
March 19, 2011 12:00am PDT
Constraint solving is an integral part of symbolic execution, as most symbolic execution techniques rely heavily on an underlying constraint solver. In fact, the performance of the constraint...
Provided by: Georgia Institute of Technology
-
White Papers
Learning Implied Global Constraints
December 5, 2006 12:00am PST
Finding a constraint network that will be efficiently solved by a constraint solver requires a strong expertise in Constraint Programming. Hence, there is an increasing interest in automatic...
Provided by: Ecole des Mines de Nantes
-
White Papers
Scenario-Based Stochastic Constraint Programming
May 22, 2009 12:00am PDT
To model combinatorial decision problems involving uncertainty and probability, the authors extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number of...
Provided by: University of York
-
White Papers
Stochastic Constraint Programming: A Scenario-Based Approach
March 6, 2009 12:00am PST
To model combinatorial decision problems involving uncertainty and probability, the authors introduce scenario based stochastic constraint programming. Stochastic constraint programs contain both...
Provided by: University College Cork
-
Case Studies
The IBM Research Constraint Solver Models and Solves Complex Problems Through the Examination and Prioritization of Myriad Variables and Constraints
January 1, 2008 12:00am PST
Variables can be a headache. Ask any seventh grader puzzling over a2=9. When variables for a given problem include the myriad manufactured parts that make a truck engine run or the skill sets of...
Provided by: IBM
-
Software
Constraints 1.0 (Mobile)
February 14, 2011 12:00am PST
The Constraints application is a SAT based propositional (boolean) logic engine defined by a list of models, where a model includes a list of constraints (a Knowledge Base) each defined by a...
Provided by: Davide Cucciniello
-
White Papers
Coerced Delay and Multi Additive Constraints QoS Routing Schemes
January 7, 2011 12:00am PST
IP networks are evolving from data communication infrastructure into many real-time applications such as video conferencing, IP telephony and require stringent Quality of Service (QoS)...
Provided by: World Academy of Science, Engineering and Technology
-
White Papers
Verification of UML/OCL Class Diagrams Using Constraint Programming
June 7, 2010 12:00am PDT
In the MDD and MDA approaches, models become the primary artifacts of the development process. Therefore, assessment of the correctness of such models is a key issue to ensure the quality of the...
Provided by: Institute of Electrical and Electronics Engineers
-
White Papers
A Review of Constraint-Handling Techniques for Evolution Strategies
January 6, 2010 12:00am PST
Evolution strategies are successful global optimization methods. In many practical numerical problems constraints are not explicitly given. Evolution strategies have to incorporate techniques to...
Provided by: Hindawi Publishing
-
White Papers
HAMPI: A Solver for String Constraints
July 23, 2009 12:00am PDT
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of...
Provided by: Association for Computing Machinery
-
White Papers
Multiset Ordering Constraints
May 22, 2009 12:00am PDT
The authors identify a new and important global (or nonbinary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This...
Provided by: University of York
-
White Papers
Do Constraints On Market Work Hours Change Home Production Efforts?
April 29, 2009 12:00am PDT
This paper studies variations in housework time and leisure consumption when workers are subject to labor market work hours constraints that prevent them from working the optimal number of hours....
Provided by: Board of Governors of the Federal Reserve System
-
White Papers
Stochastic Constraint Programming
March 6, 2009 12:00am PST
To model combinatorial decision problems involving uncertainty and probability, the authors introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Provided by: University College Cork
-
White Papers
Program Analysis as Constraint Solving
June 13, 2008 12:00am PDT
A constraint-based approach to invariant generation in programs translates a program into constraints that are solved using off-the-shelf constraint solvers to yield desired program invariants. In...
Provided by: Association for Computing Machinery
-
White Papers
Amplifying Business Cycles Through Credit Constraints
November 7, 2007 12:00am PST
Theory suggests that endogenous borrowing constraints amplify the impact of external shocks on the economy. How big is the amplification? In this paper, the authors quantitatively investigate this...
Provided by: Munich Personal Repec Archive
Keep Up with TechRepublic
Media Gallery
White Papers, Webcasts, and Downloads
-
WebcastsWebcast: Complete Web Protection: Four Strategies to Stop Threats
Watch this webcast to learn about four proven strategies for stopping security threats. The web can be a scary place, but with the right tools and a good plan, you don't have to be scared. Watch now to learn more.
From Sophos -
Webcasts
Webcast: Complete Web Protection: Four Strategies to Stop Threats
From Sophos -
Webcasts
Live Webcast: Fast and Efficient Business Security Strategies
From GFI Software -
White Papers
Enterprise Resource Planning That Works
From IBM
