|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23407 occurrences of 9083 keywords
|
|
|
Results
Found 40636 publication records. Showing 40636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
55 | Katta G. Murty |
Second Order Optimality Conditions for Nonlinear Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3361-3365, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 54(3), pp. 221-232, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 27th Conference on Local Computer Networks, Tampa, Florida, USA, 8-10 November, 2000, pp. 698-699, 2000, IEEE Computer Society, 0-7695-0912-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 32-45, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 27(1-3), pp. 419-430, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 3rd IEEE Real-Time Technology and Applications Symposium, RTAS '97, Montreal, Canada, June 9-11, 1997, pp. 178-183, 1997, IEEE Computer Society, 0-8186-8016-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(2), pp. 223-238, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(5), pp. 828-839, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VIETCRYPT ![In: Progressin Cryptology - VIETCRYPT 2006, First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers, pp. 243-259, 2006, Springer, 3-540-68799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 212, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 149-160, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, Erlang, race conditions |
30 | Ralf Hiptmair, Achim Schädle |
Non-Reflecting Boundary Conditions for Maxwell's Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 71(3), pp. 265-292, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 133(1-4), pp. 23-46, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 332-337, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 15(4), pp. 410-457, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 21(2), pp. 151-163, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 286-293, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 242-252, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 633-636, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 680-685, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(3), pp. 318-336, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(1), pp. 64-76, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 211-225, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Gloria Bordogna, Giuseppe Psaila |
Extending SQL with customizable soft selection conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1107-1111, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
flexible query languages, SQL, fuzzy set theory |
24 | Roman Vitenberg, Roy Friedman |
On the Locality of Consistency Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings, pp. 92-105, 2003, Springer, 3-540-20184-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Rupesh Tulshyan, Ramnik Arora, Kalyanmoy Deb, Joydeep Dutta |
Investigating EA solutions for approximate KKT conditions in smooth problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 689-696, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(7), pp. 701-707, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 157(1), pp. 183-192, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(1), pp. 1-14, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 71-85, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 8(3), pp. 235-256, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEWoRC ![In: Research in Cryptology, Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers, pp. 28-38, 2007, Springer, 978-3-540-88352-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
differential collision search, hash function, conditions, SHA-256 |
24 | Jens Krinke |
Slicing, Chopping, and Path Conditions with Barriers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 12(4), pp. 339-360, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
program slicing, program dependence graph, path conditions |
23 | Stephan Dempe |
Bilevel Programming: Implicit Function Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 260-266, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(4), 2007. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (17) ![In: Ergonomics and Health Aspects of Work with Computers, International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 3-9, 2007, Springer, 978-3-540-73332-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 111(1-4), pp. 167-179, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 258-273, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 3(2), pp. 253-263, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 3(4), pp. 547-557, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 52(2), pp. 173-186, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 1-10, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009, 2009, ACM, 978-1-60558-655-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(1-3), pp. 161-168, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 1034-1038, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (4) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV, pp. 267-274, 2007, Springer, 978-3-540-72589-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 21(3), pp. 193-202, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 32(2-3), pp. 117-129, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems, Control, Modeling and Optimization ![In: Systems, Control, Modeling and Optimization, Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy, pp. 297-307, 2006, Springer, 0-387-33881-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 19(1), pp. 29-36, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(6), pp. 431-446, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 16(3), pp. 263-286, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 15(1), pp. 29-59, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 708-716, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 48(11), pp. 1214-1227, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(9), pp. 640-653, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 258, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 267-280, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Conditions of saturation, Stochastic Petri Nets |
22 | Dominique Attali, André Lieutier |
Optimal reconstruction might be hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 334-343, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 58-67, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDID ![In: Knowledge Discovery in Inductive Databases, 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers, pp. 202-221, 2005, Springer, 3-540-33292-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
virtual patterns, pruning conditions, constraint-based mining |
20 | Andreas Lochbihler, Gregor Snelting |
On temporal path conditions in dependence graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(2), pp. 263-290, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 867-872, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 44(3), pp. 339-348, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. Interacting in Various Application Domains, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV, pp. 39-48, 2009, Springer, 978-3-642-02582-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimal affective conditions, subconscious learning, 3D ITS, HCI |
20 | Boban Marinkovic |
Optimality conditions for discrete calculus of variations problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(3), pp. 309-318, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(1), pp. 31-42, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 289-304, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 154(1), pp. 133-147, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 8(4), pp. 32-40, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 20(3), pp. 355-377, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 59(2), pp. 115-137, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 17(1-4), pp. 501-512, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 101(1-4), pp. 149-170, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 161-168, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 139-146, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 244-254, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 863-866, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1803-1810, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 231-240, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Consistency Conditions, Testing, Specification, RAISE, RSL |
20 | Kleanthis Psarris, Santosh Pande |
Classical dependence analysis techniques: sufficiently accurate in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 123-132, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 5th International Conference, DEXA '94, Athens, Greece, September 7 - 9, 1994, Proceedings, pp. 360-369, 1994, Springer, 3-540-58435-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 268-280, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 3(1), pp. 23-33, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCO ![In: Modelling, Computation and Optimization in Information Systems and Management Sciences, Second International Conference, MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings, pp. 273-282, 2008, Springer, 978-3-540-87476-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2008, October 8-10, 2008, Athens, Greece, pp. 1-6, 2008, IEEE, 978-1-4244-2845-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5146-5151, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2008, Madrid, Spain, December 9-12, 2008, pp. 2, 2008, ACM, 978-1-60558-210-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(12), pp. 4422-4437, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 17(1), pp. 1-20, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 719-734, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NBiS ![In: The 14th International Conference on Network-Based Information Systems, NBiS 2011, Tirana, Albania, September 7-9, 2011, pp. 497-501, 2011, IEEE Computer Society, 978-1-4577-0789-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 2010, 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Miami, Florida, USA, August 17-19, 2010, pp. 385-387, 2010, IEEE Computer Society, 978-0-7695-4197-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 100-109, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Taylor conditions, Constraint Satisfaction Problem |
18 | Vladimir F. Demyanov |
Quasidifferentiable Optimization: Optimality Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3205-3213, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quasidifferential calculus, Necessary and sufficient conditions, Quasidifferential, Directional derivative |
18 | Panos M. Pardalos |
Kuhn-Tucker Optimality Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1794-1797, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1527-1534, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 274-279, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3434-3439, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semi-infinite optimization, Second order necessary and sufficient optimality conditions, Reduced problem in semi-infinite programming |
Displaying result #1 - #100 of 40636 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|