Search results for "conditions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Katta G. Murty	Second Order Optimality Conditions for Nonlinear Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Convex and nonconvex programming problems, Regularity condition, Mangasarian-Fromovitz constraint qualification, Sufficient optimality conditions, KKT conditions, First order and second order optimality conditions, Constraint qualification, Global minimum, Stationary point, Necessary optimality conditions, Local minimum, Nonlinear optimization problem
40	Alan Scheller-Wolf, Rein Vesilo	Structural interpretation and derivation of necessary and sufficient conditions for delay moments in FIFO multiserver queues.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Finite moment conditions, Necessary and sufficient conditions, Multiserver queues
37	Marios P. Saltouros, Maria E. Markaki, Anastasios K. Taskaris, Michael E. Theologou, Iakovos S. Venieris	A New Route Selection Approach Using Scaling Techniques: An Application to Hierarchical QoS-Based Routing.	LCN	2000	DBLP DOI BibTeX RDF	route selection approach, scaling techniques, hierarchical QoS-based routing, ATM hierarchical routing, PNNI routing, connection request, source-destination pair, route fitness cost function, selection probabilities, path probabilities, minimum-hop routes, load-balancing concept, probabilistic routing algorithms, skewed loading conditions, time-varying loading conditions, uniform loading conditions, genetic algorithms, genetic algorithms, quality of service, asynchronous transfer mode, probability, simulation results, telecommunication network routing
34	Friedemann Bitsch, Ulrich Feucht, Huw Gough	Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety-related Application Conditions, SAC quality, conditions for defining SACs, process for defining and complying with SACs
34	Ivan L. Sofronov, Olga V. Podgornova	A Spectral Approach for Generating Non-Local Boundary Conditions for External Wave Problems in Anisotropic Media.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	anisotropic media, discrete transparent boundary conditions, low reflecting boundary conditions, Wave propagation
34	Teik Guan Tan, Wynne Hsu	Scheduling multimedia applications under overload and non-deterministic conditions.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF	nondeterministic conditions, overload conditions, deterministic techniques, hard real-time scheduling, representative task model, frequency parameter, worst case CPU bounds, best-effort frequency-based scheduling, real-time systems, multimedia applications
33	Vaithilingam Jeyakumar, N. Q. Huy	Global minimization of difference of quadratic and convex functions over box or binary constraints.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Quadratic non-convex minimization, Box constraints, 0/1 Constraints, Sufficient conditions, Necessary optimality conditions, Concave minimization
32	Jun Yoneyama	New Robust Stability Conditions and Design of Robust Stabilizing Controllers for Takagi-Sugeno Fuzzy Time-Delay Systems.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
32	Yu Sasaki, Yusuke Naito 0001, Jun Yajima, Takeshi Shimoyama, Noboru Kunihiro, Kazuo Ohta	How to Construct Sufficient Conditions for Hash Functions.	VIETCRYPT	2006	DBLP DOI BibTeX RDF
32	Arnold W. Bragg, Wushow Chou	Real-time computation of empirical autocorrelation, and detection of non-stationary traffic conditions in high-speed networks.	ICCCN	1995	DBLP DOI BibTeX RDF	empirical autocorrelation, nonstationary traffic conditions, stochastic traffic processes, heuristic test, lagged autocorrelations, empirical lag autocorrelation function, nonstationarity conditions, neural classifier, real-time classifier, traffic forecasting mechanism, fuzzy logic, time series analysis, high-speed networks, telecommunication traffic, real-time computation, model identification
30	Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger	Finding race conditions in Erlang with QuickCheck and PULSE.	ICFP	2009	DBLP DOI BibTeX RDF	QuickCheck, Erlang, race conditions
30	Ralf Hiptmair, Achim Schädle	Non-Reflecting Boundary Conditions for Maxwell's Equations.	Computing	2003	DBLP DOI BibTeX RDF	Finite difference time domain methods, transparent boundary conditions, absorbing boundary conditions, fast convolution, waveguide
27	Le Thi Hoai An, Pham Dinh Tao	The DC (Difference of Convex Functions) Programming and DCA Revisited with DC Models of Real World Nonconvex Optimization Problems.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	DC algorithms (DCA), DC duality, local optimality conditions, global optimality conditions, polyhedral DC programming, regularization techniques, DC programming
27	Jonathan T.-Y. Chang, Edward J. McCluskey	Quantitative analysis of very-low-voltage testing.	VTS	1996	DBLP DOI BibTeX RDF	very-low-voltage testing, static CMOS chips, supply voltage, rated conditions, early-life failures, test conditions, test speed, VLSI, VLSI, integrated circuit testing, CMOS integrated circuits, failure analysis, quantitative analysis, threshold voltage, integrated circuit noise
26	Gregor Snelting, Torsten Robschink, Jens Krinke	Efficient path conditions in dependence graphs for software safety analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	program slicing, information flow control, Safety analysis, path condition
25	Stephan Wagner, Tibor Grasser, Claus Fischer, Siegfried Selberherr	An advanced equation assembly module.	Eng. Comput.	2005	DBLP DOI BibTeX RDF	Finite Boxes, Linear equation systems, Interface conditions, Device simulation, Circuit simulation, Boundary conditions
25	Benjamin W. Wah, Yi-Xin Chen 0001	Constrained genetic algorithms and their applications in nonlinear constrained optimization.	ICTAI	2000	DBLP DOI BibTeX RDF	constrained genetic algorithms, nonlinear constrained optimization, problem-independent framework, discrete constrained nonlinear programming problems, first-order necessary conditions, first-order sufficient conditions, discrete-neighborhood saddle point search, ascents, original-variable subspace, descents, Lagrange-multiplier subspace, CSAGA, combined constrained simulated annealing/genetic algorithm, optimal generations, genetic algorithms, simulated annealing, search problems, nonlinear programming, constraint theory, iterative deepening
25	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
25	Urs E. Ruttimann, Nick F. Ramsey, Daniel W. Hommer, Philippe Thévenaz, Chulhee Lee, Michael Unser	Analysis of functional magnetic resonance images by wavelet decomposition.	ICIP	1995	DBLP DOI BibTeX RDF	statistical data model, orthogonality conditions, regularity conditions, signal decomposition, uncorrelated components, signal power subspace, multiple testing, detection threshold, difference images, inverse wavelet transform, wavelet transforms, wavelet transform, image sequences, statistical analysis, medical image processing, inverse problems, functional magnetic resonance images, brain, statistical testing, wavelet decomposition, biomedical NMR, statistical significance, neurophysiology, wavelet coefficients, parametric tests
25	Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C. Thomas Gray	Concurrent timing optimization of latch-based digital systems.	ICCD	1995	DBLP DOI BibTeX RDF	concurrent timing optimization, latch-based digital systems, digital system timing, intentional clock skew, latch-based designed systems, multi-phase clocking, resynchronization, latches insertion, optimisation, timing, logic design, flip-flops, retiming, mixed integer linear program, race conditions, integrated framework, wave pipelining, hazards and race conditions, clock period
25	Juyang Weng, Thomas S. Huang, Narendra Ahuja	Motion and Structure from Line Correspondences; Closed-Form Solution, Uniqueness, and Optimization.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	rigid scene, structure parameters, optimization, pattern recognition, pattern recognition, picture processing, picture processing, optimisation, parameter estimation, parameter estimation, sufficient conditions, uniqueness, closed-form solution, motion parameters, necessary conditions, line correspondences
25	PeiZong Lee, Zvi M. Kedem	Mapping Nested Loop Algorithms into Multidimensional Systolic Arrays.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	nested loop algorithms, multidimensional systolic arrays, correct transformation, programmable systolic arrays, general purpose programmable arrays, planar systolic array implementations, three-dimensional cube-graph algorithm, reindexed Warshall-Floyd path-finding algorithm, parallel algorithms, parallel processing, graph theory, matrix multiplication, data dependence, matrix algebra, cellular arrays, sufficient conditions, necessary conditions, algorithm transformations, automatic compilation
24	Karl Azab, Annegret Habel	High-Level Programs and Program Conditions.	ICGT	2008	DBLP DOI BibTeX RDF
24	Gloria Bordogna, Giuseppe Psaila	Extending SQL with customizable soft selection conditions.	SAC	2005	DBLP DOI BibTeX RDF	flexible query languages, SQL, fuzzy set theory
24	Roman Vitenberg, Roy Friedman	On the Locality of Consistency Conditions.	DISC	2003	DBLP DOI BibTeX RDF
24	Rupesh Tulshyan, Ramnik Arora, Kalyanmoy Deb, Joydeep Dutta	Investigating EA solutions for approximate KKT conditions in smooth problems.	GECCO	2010	DBLP DOI BibTeX RDF	karush-kuhn-tucker conditions, termination condition, nonlinear programming, evolutionary optimization
24	Davut Hanbay, Ahmet Baylar, Emrah Ozpolat	Predicting flow conditions over stepped chutes based on ANFIS.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Stepped chute, Flow conditions, Cross validation, ANFIS, Fuzzy membership function
24	Bienvenido Jiménez, Vicente Novo	Higher-order optimality conditions for strict local minima.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Strict minimizer of higher order, Optimality conditions
24	Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluca Iannaccone	Race conditions in coexisting overlay networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	interaction between multiple overlay networks, traffic oscillations, synchronization, race conditions
24	Vladimir F. Demyanov, Vera Roshchina	Exhausters, optimality conditions and related problems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Positively homogeneous function, Upper and lower exhausters, Proper and adjoint exhausters, Unconstrained optimization problems, The Michel-Penot subdifferential, The Clarke subdifferential, The Fréchet subdifferential, Optimality conditions, Quasidifferentiability
24	Federico Della Croce, Vangelis Th. Paschos	Exploiting dominance conditions for computing non trivial worst-case complexity for bounded combinatorial optimization problems.	Oper. Res.	2008	DBLP DOI BibTeX RDF	Dominance conditions, Set covering, Max cut, Worst-case complexity
24	Marko Hölbl, Christian Rechberger, Tatjana Welzer	Searching for Messages Conforming to Arbitrary Sets of Conditions in SHA-256.	WEWoRC	2007	DBLP DOI BibTeX RDF	differential collision search, hash function, conditions, SHA-256
24	Jens Krinke	Slicing, Chopping, and Path Conditions with Barriers.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	program slicing, program dependence graph, path conditions
23	Stephan Dempe	Bilevel Programming: Implicit Function Approach.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Bilevel programming problem, Implicit function approach, Strongly stable solution, Piecewise continuously differentiable function, Sufficient optimality conditions, Solution algorithms, Stackelberg game, Necessary optimality conditions
23	Richard Riehle	Designing software components to tolerances.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances
23	Arne Aarås, Gunnar Horgen, Magne Helland	Can Visual Discomfort Influence on Muscle Pain and Muscle Load for Visual Display Unit (VDU) Workers?	HCI (17)	2007	DBLP DOI BibTeX RDF	VDU workplaces, Lighting conditions, Visual conditions, Visual discomfort, Musculoskeletal illness, Eye blinking
23	Christian Michelot, Frank Plastria	An Extended Multifacility Minimax Location Problem Revisited.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	multifacility location, minimax location, coincidence conditions, uniqueness conditions, continuous location
22	Farn Wang	Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.	ATVA	2008	DBLP DOI BibTeX RDF	time progress, model-checking, convex, Timed automaton, concave, TCTL
22	Yong Xia 0002	New optimality conditions for quadratic optimization problems with binary constraints.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Integer programming, Quadratic programming, Optimality conditions, Nonconvex optimization
22	M. Daldoul, A. Baccari	An application of matrix computations to classical second-order optimality conditions.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Matrix and polynomial computations, Optimality conditions, Constraint qualifications
22	Yingzhen Lin, Yongfang Zhou	Solving nonlinear pseudoparabolic equations with nonlocal boundary conditions in reproducing kernel space.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Pseudoparabolic equations, Nonlocal boundary conditions, Reproducing kernel space, Nonlinear equations
22	Mingchang Li, Guangyu Zhang, Bin Zhou, Shuxiu Liang, Zhaochen Sun	Optimal Inversion of Open Boundary Conditions Using BPNN Data-Driven Model Combined with Tidal Model.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Open boundary conditions, Optimal inversion, Tidal current, Data-driven model
22	Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi	Forcing small models of conditions on program interleaving for detection of concurrent bugs.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis
22	Kazimierz Malanowski	Second-order conditions in stability analysis for state constrained optimal control.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Parametric optimal control, Nonlinear ODEs, State constraints, Second order sufficient conditions, Lipschitz stability of the solutions
22	Arief Hernadi, Taufik, Makbul Anwari	Modeling and Simulation of 6-Pulse and 12-Pulse Rectifiers under Balanced and Unbalanced Conditions with Impacts to Input Current Harmonics.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	6-Pulse and 12-Pulse Rectifiers, Balanced and Unbalanced Conditions, Input Current Harmonics
22	Zhenli Xu, Houde Han	Spectral Collocation Technique for Absorbing Boundary Conditions with Increasingly High Order Approximation.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Absorbing boundary conditions, Schrödinger equation, semiconductor devices, Chebyshev spectral collocation, difference schemes
22	Yee Cheong Lam, Y.-M. Deng, Chikit K. Au	A GA/gradient hybrid approach for injection moulding conditions optimisation.	Eng. Comput.	2006	DBLP DOI BibTeX RDF	Injection moulding conditions, Genetic Algorithm, Optimisation, Gradient method
22	Aleksandar Risteski, Boris Spasenovski, Jeffrey A. Kash, Petar K. Pepeljugoski	Criteria for optimizing laser launch conditions in 10 Gb/s links using OM3 fibers.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	10 Gb/s Ethernet, Multimode fiber, Launch conditions, Encircled flux, Inter-symbol interference, Laser, Statistical optimization
22	Nikolai P. Osmolovskii, Helmut Maurer	Second Order Optimality Conditions for Controls with Continuous and Bang-Bang Components.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	bang-bang control, Pontryagin minimum principle, second order necessary and sufficient conditions, critical cone, strengthened Legendre condition, quadratic form
22	Luis Hernández-Martínez, Arturo Sarmiento-Reyes	Topological Considerations for the Diagnosability Conditions of Analogue Circuits Using a Pair of Conjugate Trees.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	analogue circuit diagnostic, topological conditions, pair of conjugate trees
22	Florentin Ipate, Mike Holcombe	Testing Conditions for Communicating Stream X-machine Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Communicating (extended) fsm, Communicating (stream) X-machines, Design for test-conditions, Testing
22	Houde Han, Xin Wen	The Local Artificial Boundary Conditions for Numerical Simulations of the Flow Around a Submerged Body.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	ship waves, potential flow, local artificial boundary conditions, finite element method
22	Bertil Gustafsson, Jonas Nilsson	Boundary Conditions and Estimates for the Steady Stokes Equations on Staggered Grids.	J. Sci. Comput.	2000	DBLP DOI BibTeX RDF	staggered grids, boundary conditions, stokes equations
22	Gergely Lukács	Towards an Interactive Query Environment for a Multi-Attribute Decision Model with Imprecise Data and Vague Query Conditions.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	interactive query environment, multi-attribute decision model, vague query conditions, associated values, imprecise scores, fuzzy predicates, multidimensional spreadsheet front-end, imperfect answers, numeric measures, aggregated view, geographic information retrieval scenario, decision support systems, data warehouses, probability distributions, decision model, user friendliness, imprecise data
22	Yuanyuan Yang 0001, Gerald M. Masson	The Necessary Conditions for Clos-Type Nonblocking Multicast Networks.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	routing control strategies, Interconnection networks, nonblocking, necessary conditions, multicast networks
22	Varsha Mainkar, Kishor S. Trivedi	Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence
22	Hong Shi, Naeem Abbasi, Charles A. Zukowski, Omar Wing	Buffer size trade-offs in input/output buffered ATM switches under various conditions.	ICCCN	1995	DBLP DOI BibTeX RDF	buffer size trade-offs, input/output buffered ATM switches, nonlinear complex relationship, average packet delay, speed-up factors, VLSI design, telecommunication traffic, packet loss probability, traffic conditions
22	R. Gouet, F. Plo, M. San Miguel, Bernard Ycart	Saturation Conditions For Stochastic Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Conditions of saturation, Stochastic Petri Nets
22	Dominique Attali, André Lieutier	Optimal reconstruction might be hard.	SCG	2010	DBLP DOI BibTeX RDF	3SAT, homological simplification, sampling conditions, topological persistence, NP-completeness, shape reconstruction
22	Jerzy W. Grzymala-Busse	A Rough Set Approach to Data with Missing Attribute Values.	RSKT	2006	DBLP DOI BibTeX RDF	Incomplete data sets, lost values, ”do not care” conditions, attribute-concept values, blocks of attribute-value pairs, characteristic relations, characteristic sets
22	Arnaud Soulet, Bruno Crémilleux	Exploiting Virtual Patterns for Automatically Pruning the Search Space.	KDID	2005	DBLP DOI BibTeX RDF	virtual patterns, pruning conditions, constraint-based mining
20	Andreas Lochbihler, Gregor Snelting	On temporal path conditions in dependence graphs.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Temporal logic, Security analysis, Program dependence graph, Path condition
20	Mi-Young Park, Sang-Hwa Chung	Detecting Race Conditions in One-Sided Communication of MPI Programs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
20	Luigi Grippo, Laura Palagi, Veronica Piccialli	Necessary and sufficient global optimality conditions for NLP reformulations of linear SDP problems.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Low-rank factorization, Semidefinite programming, Optimality conditions
20	Pierre Chalfoun, Claude Frasson	Optimal Affective Conditions for Subconscious Learning in a 3D Intelligent Tutoring System.	HCI (4)	2009	DBLP DOI BibTeX RDF	optimal affective conditions, subconscious learning, 3D ITS, HCI
20	Boban Marinkovic	Optimality conditions for discrete calculus of variations problems.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Discrete calculus of variations, 2-regularity, Mathematical programming, Optimality conditions
20	Elimhan N. Mahmudov	Sufficient conditions for optimality for differential inclusions of parabolic type and duality.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Conjugate mappings, Conjugate function, Duality, Sufficient conditions, Subdifferential, Multivalued
20	Karl-Heinz Pennemann	Resolution-Like Theorem Proving for High-Level Conditions.	ICGT	2008	DBLP DOI BibTeX RDF	first-order tautology problem, high-level conditions, weak adhesive HLR categories, theorem proving, resolution
20	Altannar Chinchuluun, Dehui Yuan, Panos M. Pardalos	Optimality conditions and duality for nondifferentiable multiobjective fractional programming with generalized convexity.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Multiobjective fractional programming problem, (C,?,?,d)-convexity, Efficiency conditions, Global efficient solution, Duality
20	Curt A. Moyer	Numerical Solution of the Stationary State Schrödinger Equation Using Transparent Boundary Conditions.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	state equations, Schrodinger equations, boundary conditions
20	J. M. Bernard	Spectral Discretizations of the Stokes Equations with Non Standard Boundary Conditions.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	spectral methods, boundary conditions, Stokes equations
20	Yi Ma 0001, Kun Huang 0001, René Vidal, Jana Kosecka, Shankar Sastry 0001	Rank Conditions on the Multiple-View Matrix.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	multiple-view matrix, rank conditions, structure from motion, factorization
20	Anne Gelb, Zdzislaw Jackiewicz, Bruno D. Welfert	Absorbing Boundary Conditions of the Second Order for the Pseudospectral Chebyshev Methods for Wave Propagation.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	pseudospectral Chebyshev method, absorbing boundary conditions of the second order, eigenvalue stability, spectra and pseudospectra, Runge-Kutta methods, wave equation, hyperbolic systems
20	Boris S. Mordukhovich, Ruth Trubnik	Stability of Discrete Approximations and Necessary Optimality Conditions for Delay-Differential Inclusions.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	delay-differential inclusions, finite-difference perturbations, generalized differentiation, stability, dynamic optimization, variational analysis, necessary optimality conditions
20	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
20	José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia	Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm.	PDP	1996	DBLP DOI BibTeX RDF	safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance
20	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
20	V. Duraccio, Domenico Falcone, Alessandro Silvestri, GianPaolo Di Bona	Use of simulation for the prevention of environmental problems.	SCSC	2007	DBLP BibTeX RDF	environmental, metereological conditions, precipitations, flooding, disaster
20	B. Ravichandran, Avinash Gandhe, Robert E. Smith 0001	XCS for robust automatic target recognition.	GECCO	2005	DBLP DOI BibTeX RDF	extended operating conditions, generalization, structural learning, automatic target recognition
20	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
20	Kleanthis Psarris, Santosh Pande	Classical dependence analysis techniques: sufficiently accurate in practice.	HICSS (2)	1995	DBLP DOI BibTeX RDF	GCD test, Banerjee-Wolfe test, statement data dependence, automatic loop parallelization, Perfect benchmarks, exact test, program testing, data analysis, accuracy, parallelizing compilers, program diagnostics, sufficient conditions, program control structures, parallelising compilers, data dependence analysis, greatest common divisor, automatic vectorization
20	Bruno Defude, Hervé Martin	From a Passive to an Active Database Supporting Exceptions.	DEXA	1994	DBLP DOI BibTeX RDF	Pre(post)-conditions, Inheritance, Integrity constraints, Exceptions, Object-Oriented DBMS
20	Kurt M. Olender, Leon J. Osterweil	Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Cecil, sequencing constraint language, automatic static analysis generation, general mechanism, dataflow analysis algorithms, compiler code optimization, custom-built, dataflow conditions, dataflow analysis problems, parallel programming, specification languages, program compilers, automatic programming
18	Vaithilingam Jeyakumar, S. Srisatkunarajah	Lagrange multiplier necessary conditions for global optimality for non-convex minimization over a quadratic constraint via S-lemma.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Smooth non-convex minimization, Difference of quadratic and convex functions, Single quadratic constraint, Global optimality, Lagrange multipliers, Fractional programs
18	Virginia P. Sisiopiku, Abhishek Acharya, Michael Anderson, Daniel Turner	Evaluation of traffic signal performance under oversaturated conditions using VISTA.	SpringSim	2009	DBLP BibTeX RDF	oversaturated arterials, signal timing optimization, traffic simulation
18	Nobusumi Sagara	Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems.	MCO	2008	DBLP DOI BibTeX RDF	Nonsmooth maximum principle, Infinite horizon, Transversality condition, Sufficiency, Value function
18	Mio Seki, Jun Sese	Identification of active biological networks and common expression conditions.	BIBE	2008	DBLP DOI BibTeX RDF
18	Germain Garcia, Pedro Luis Dias Peres, Sophie Tarbouriech	Necessary and sufficient numerical conditions for asymptotic stability of linear time-varying systems.	CDC	2008	DBLP DOI BibTeX RDF
18	Ajay Mahimkar, Jennifer Yates, Yin Zhang 0001, Aman Shaikh, Jia Wang 0001, Zihui Ge, Cheng Tien Ee	Troubleshooting chronic conditions in large IP networks.	CoNEXT	2008	DBLP DOI BibTeX RDF	chronic condition, network troubleshooting, correlation
18	Joris M. Mooij, Hilbert J. Kappen	Sufficient Conditions for Convergence of the Sum-Product Algorithm.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
18	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	Condition-based consensus solvability: a hierarchy of conditions and efficient protocols.	Distributed Comput.	2004	DBLP DOI BibTeX RDF	Step complexity, Fault-tolerance, Shared memory, Consensus, Asynchronous system, Collect, Condition, Snapshot, Input vector
18	Jerry James, Ambuj K. Singh	The Impact of Hardware Models on Shared Memory Consistency Conditions.	CONCUR	1996	DBLP DOI BibTeX RDF
18	Yoshimasa Nakatake, Koki Watanabe	Numerical Analysis of Two-Dimensional Photonic Crystal Waveguide Devices Using Periodic Boundary Conditions and Multilayer Technique.	NBiS	2011	DBLP DOI BibTeX RDF	photonic crystal waveguide devices, periodic boundary conditions, Floquet-modes, Fourier series expansion method
18	Kumaran Vijayasankar, Azar Taufique, Lakshmi Narasimhan Kannan, Marco Tacca, Andrea Fumagalli	An Analytical Model with Improved Accuracy of IEEE 802.11 Protocol Under Unsaturated Conditions.	MASCOTS	2010	DBLP DOI BibTeX RDF	unsaturated conditions, retransmission limits, QoS, IEEE 802.11, DCF
18	Libor Barto, Marcin Kozik	New Conditions for Taylor Varieties and CSP.	LICS	2010	DBLP DOI BibTeX RDF	Taylor conditions, Constraint Satisfaction Problem
18	Vladimir F. Demyanov	Quasidifferentiable Optimization: Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Quasidifferential calculus, Necessary and sufficient conditions, Quasidifferential, Directional derivative
18	Panos M. Pardalos	Kuhn-Tucker Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	KT point, Complexity, Optimality conditions, Constraint qualification
18	Urszula Ledzewicz, Heinz Schättler	High-order Necessary Conditions for Optimality for Abnormal Points.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lyusternik theorem, High-order tangent sets, High-order necessary conditions for optimality, Abnormal processes
18	Sanjo Zlobec	Bilevel Programming: Optimality Conditions and Duality.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Stability, Duality, Optimality conditions, Bilevel programming, Parametric programming
18	Rainer Hettich, Georg Still	Semi-infinite Programming: Second Order Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Semi-infinite optimization, Second order necessary and sufficient optimality conditions, Reduced problem in semi-infinite programming