Search results for "runtime analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Frank Neumann, Carsten Witt	Runtime Analysis of a Simple Ant Colony Optimization Algorithm.	Algorithmica	2009	DBLP DOI BibTeX RDF	Ant colony optimization, Runtime analysis, Randomized search heuristics
3	Per Kristian Lehre, Xin Yao	Runtime analysis of search heuristics on software engineering problems.	Frontiers of Computer Science in China	2009	DBLP DOI BibTeX RDF	software engineering, evolutionary algorithms, runtime analysis
3	Benjamin Doerr, Frank Neumann, Dirk Sudholt, Carsten Witt	On the runtime analysis of the 1-ANT ACO algorithm.	GECCO	2007	DBLP DOI BibTeX RDF	ant colony optimization, runtime analysis
3	Jens Jägersküpper	Probabilistic runtime analysis of (1 +<over>, lambda), ES using isotropic mutations.	GECCO	2006	DBLP DOI BibTeX RDF	sphere function, evolution strategies, runtime analysis
3	Jens Jägersküpper, Carsten Witt	Rigorous runtime analysis of a (µ+1)ES for the sphere function.	GECCO	2005	DBLP DOI BibTeX RDF	sphere function, evolution strategies, runtime analysis
2	Jörg Lässig, Dirk Sudholt	The benefit of migration in parallel evolutionary algorithms.	GECCO	2010	DBLP DOI BibTeX RDF	migration, runtime analysis, spatial structures, island model, parallel evolutionary algorithms
2	Frank Neumann, Dirk Sudholt, Carsten Witt	A few ants are enough: ACO with iteration-best update.	GECCO	2010	DBLP DOI BibTeX RDF	iteration-best update, theory, ant colony optimization, runtime analysis
2	R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu	On the performance effects of unbiased module encapsulation.	GECCO	2009	DBLP DOI BibTeX RDF	module encapsulation, search space bias, runtime analysis
2	Christine Zarges	Rigorous Runtime Analysis of Inversely Fitness Proportional Mutation Rates.	PPSN	2008	DBLP DOI BibTeX RDF
2	Dirk Sudholt, Carsten Witt	Runtime analysis of binary PSO.	GECCO	2008	DBLP DOI BibTeX RDF	particle swarm optimization, runtime analysis
2	Madhu Gopinathan, Sriram K. Rajamani	Enforcing object protocols by combining static and runtime analysis.	OOPSLA	2008	DBLP DOI BibTeX RDF	aspect oriented programming, program verification, invariants
2	Feng Chen, Traian-Florin Serbanuta, Grigore Rosu	jPredictor: a predictive runtime analysis tool for java.	ICSE	2008	DBLP DOI BibTeX RDF	predictive runtime analysis, sliced causality, runtime verification
2	Walter J. Gutjahr	Mathematical runtime analysis of ACO algorithms: survey on an emerging issue.	Swarm Intelligence	2007	DBLP DOI BibTeX RDF	Runtime complexity, Combinatorial optimization, Ant colony optimization, Analysis of algorithms, Runtime analysis
2	Per Kristian Lehre, Xin Yao	Runtime analysis of (1+l) EA on computing unique input output sequences.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
2	Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier	Confirmation of deadlock potentials detected by runtime analysis.	PADTAD	2006	DBLP DOI BibTeX RDF	scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis
2	Frank Neumann, Carsten Witt	Runtime Analysis of a Simple Ant Colony Optimization Algorithm.	ISAAC	2006	DBLP DOI BibTeX RDF
2	Oliver Giel, Per Kristian Lehre	On the effect of populations in evolutionary multi-objective optimization.	GECCO	2006	DBLP DOI BibTeX RDF	evolutionary algorithms, multi-objective optimization, runtime analysis
2	Sandria N. Kerr	A big-O experiment: which function is it?	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	big-O, laboratory assignments, computer science education, runtime analysis
2	Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	mars flight software, model checking, testing, static analysis, runtime analysis
2	George Logothetis, Klaus Schneider, C. Metzler	Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification.	SBCCI	2003	DBLP DOI BibTeX RDF
2	George Logothetis, Klaus Schneider, C. Metzler	Generating Formal Models for Real-Time Verification by Exact Low-Level Runtime Analysis of Synchronous Programs.	RTSS	2003	DBLP DOI BibTeX RDF
2	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser	Experiments with Test Case Generation and Runtime Analysis.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
2	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
2	Renato Ferreira, Joel H. Saltz, Gagan Agrawal	Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications.	IEEE PACT	2001	DBLP DOI BibTeX RDF
1	Benjamin Doerr, Frank Neumann, Dirk Sudholt, Carsten Witt	Runtime analysis of the 1-ANT ant colony optimizer.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1		Runtime Analysis.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková	Runtime Analysis of Probabilistic Programs with Unbounded Recursion.	ICALP	2011	DBLP DOI BibTeX RDF
1	Benjamin Doerr, Daniel Johannsen, Martin Schmidt	Runtime analysis of the (1+1) evolutionary algorithm on strings over finite alphabets.	FOGA	2011	DBLP DOI BibTeX RDF
1	Dirk Sudholt, Carsten Witt	Runtime analysis of a binary particle swarm optimizer.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková	Runtime Analysis of Probabilistic Programs with Unbounded Recursion	CoRR	2010	DBLP BibTeX RDF
1	R. Sekar	Runtime Analysis and Instrumentation for Securing Software.	RV	2010	DBLP DOI BibTeX RDF
1	Yu Shan Zhang, Zhi Feng Hao	Runtime Analysis of (1+1) Evolutionary Algorithm for a TSP Instance.	SEMCCO	2010	DBLP DOI BibTeX RDF
1	Han Huang, Zhifeng Hao, Zhaoquan Cai, Yifan Zhu	Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation.	SEMCCO	2010	DBLP DOI BibTeX RDF
1	Zhongming Yang, Han Huang, Zhaoquan Cai, Yong Qin	A theoretical framework for runtime analysis of ant colony optimization.	ICMLC	2010	DBLP DOI BibTeX RDF
1	Philippe Rolet, Olivier Teytaud	Bandit-Based Estimation of Distribution Algorithms for Noisy Optimization: Rigorous Runtime Analysis.	LION	2010	DBLP DOI BibTeX RDF
1	Benjamin Doerr, Daniel Johannsen	Edge-based representation beats vertex-based representation in shortest path problems.	GECCO	2010	DBLP DOI BibTeX RDF	evolutionary algorithm, shortest path, runtime analysis
1	Thomas Jansen, Frank Neumann	Computational complexity and evolutionary computation.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	runtime analysis
1	Thomas Jansen, Christine Zarges	Aging beyond restarts.	GECCO	2010	DBLP DOI BibTeX RDF	genetic algorithms, evolutionary algorithms, aging, crossover, runtime analysis, immune algorithms
1	Per Kristian Lehre, Carsten Witt	Black-box search by unbiased variation.	GECCO	2010	DBLP DOI BibTeX RDF	black-box complexity, runtime analysis
1	Carsten Witt	Theory of randomised search heuristics in combinatorial optimisation.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	evolutionary algorithms, theory, runtime analysis, randomized search heuristics
1	Debora Donato, Francesco Bonchi, Tom Chi, Yoëlle S. Maarek	Do you want to take notes?: identifying research missions in Yahoo! search pad.	WWW	2010	DBLP DOI BibTeX RDF	persistent search, task-oriented search, query logs, sessions
1	Yuren Zhou	Runtime Analysis of an Ant Colony Optimization Algorithm for TSP Instances.	IEEE Trans. Evolutionary Computation	2009	DBLP DOI BibTeX RDF
1	Yuren Zhou, Jun He, Qing Nie	A comparative runtime analysis of heuristic algorithms for satisfiability problems.	Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Carsten Witt	Why standard particle swarm optimisers elude a theoretical runtime analysis.	FOGA	2009	DBLP DOI BibTeX RDF
1	Christian Horoba, Thomas Jansen, Christine Zarges	Maximal age in randomized search heuristics with aging.	GECCO	2009	DBLP DOI BibTeX RDF	genetic algorithms, evolutionary algorithms, aging, runtime analysis, immune algorithms
1	Stefan Kratsch, Frank Neumann	Fixed-parameter evolutionary algorithms and the vertex cover problem.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, combinatorial optimization, multi-objective optimization, runtime analysis
1	Philipp Rohlfshagen, Per Kristian Lehre, Xin Yao	Dynamic evolutionary optimisation: an analysis of frequency and magnitude of change.	GECCO	2009	DBLP DOI BibTeX RDF	dynamic evolutionary computation, evolutionary algorithms, runtime analysis
1	Carsten Witt	Theory of randomised search heuristics in combinatorial optimisation: an algorithmic point of view.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, theory, runtime analysis, tutorial, combinatorial optimisation
1	Frank Neumann, Dirk Sudholt, Carsten Witt	Analysis of different MMAS ACO algorithms on unimodal functions and plateaus.	Swarm Intelligence	2009	DBLP DOI BibTeX RDF	MMAS, Theory, Ant colony optimization, Runtime analysis
1	Shai Shalev-Shwartz, Ambuj Tewari	Stochastic methods for l1 regularized loss minimization.	ICML	2009	DBLP DOI BibTeX RDF
1	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
1	Vipindeep Vangala, Jacek Czerwonka, Phani Talluri	Test case comparison and clustering using program profiles and static execution.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	sustained engineering, machine learning, testing, static analysis
1	Hugh Anderson, Siau-Cheng Khoo	Improving Responsiveness of Hard Real-Time Embedded Systems.	TASE	2009	DBLP DOI BibTeX RDF
1	Vendula Hrubá, Bohuslav Krena, Tomás Vojnar	Self-healing Assurance Based on Bounded Model Checking.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Runtime Verification of Safety-Progress Properties.	RV	2009	DBLP DOI BibTeX RDF
1	Tobias Friedrich, Pietro Simone Oliveto, Dirk Sudholt, Carsten Witt	Theoretical analysis of diversity mechanisms for global exploration.	GECCO	2008	DBLP DOI BibTeX RDF	deterministic crowding, diversity, exploration, runtime analysis, fitness sharing
1	Dirk Sudholt	Memetic algorithms with variable-depth search to overcome local optima.	GECCO	2008	DBLP DOI BibTeX RDF	Kernighan-Lin, variable-depth search, simulated annealing, combinatorial optimization, memetic algorithms, runtime analysis
1	Carsten Witt	Theory of randomised search heuristics in combinatorial optimisation: an algorithmic point of view.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	evolutionary algorithms, theory, runtime analysis, tutorial, combinatorial optimisation
1	Paramvir Singh, Hardeep Singh	DynaMetrics: a runtime metric-based analysis tool for object-oriented software systems.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	metric tool, performance, measurement, static analysis, software metrics, profiling, trace, runtime analysis
1	Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer	A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.	CLIMA	2008	DBLP DOI BibTeX RDF	user centric control, stochastic model checking, multi agent systems, symmetries, bisimulation, runtime analysis, cyber-physical systems
1	Jens Jägersküpper, Mike Preuss	Aiming for a theoretically tractable CSA variant by means of empirical investigations.	GECCO	2008	DBLP DOI BibTeX RDF	sphere function, evolution strategies, empirical analysis
1	Costin Iancu, Wei Chen 0011, Katherine A. Yelick	Performance portable optimizations for loops containing communication operations.	ICS	2008	DBLP DOI BibTeX RDF	communication, parallel programming, program transformations, code generation, latency hiding, performance portability
1	Matthew Curtis-Maury, Filip Blagojevic, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	Prediction-Based Power-Performance Adaptation of Multithreaded Scientific Codes.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
1	Pietro Simone Oliveto, Carsten Witt	Simplified Drift Analysis for Proving Lower Bounds in Evolutionary Computation.	PPSN	2008	DBLP DOI BibTeX RDF
1	Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp	A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
1	Jens Jägersküpper, Mike Preuss	Empirical Investigation of Simplified Step-Size Control in Metaheuristics with a View to Theory.	WEA	2008	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002	Model-based runtime analysis of distributed reactive systems.		2007	RDF
1	Yuren Zhou, Jun He	A Runtime Analysis of Evolutionary Algorithms for Constrained Optimization Problems.	IEEE Trans. Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Jens Steiner, Matthias Hagner, Ursula Goltz	Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System.	JCP	2007	DBLP DOI BibTeX RDF
1	Jörn Grahl, Peter A. N. Bosman, Stefan Minner	Convergence phases, variance trajectories, and runtime analysis of continuous EDAs.	GECCO	2007	DBLP DOI BibTeX RDF	evolutionary algorithm, estimation of distribution algorithm, predictive models, numerical optimization
1	Benjamin Doerr, Daniel Johannsen	Refined runtime analysis of a basic ant colony optimization algorithm.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Benjamin Doerr, Daniel Johannsen	Adjacency list matchings: an ideal genotype for cycle covers.	GECCO	2007	DBLP DOI BibTeX RDF	randomized local, evolutionary algorithm, search, runtime analysis, cycle cover, Euler tour
1	Tobias Friedrich, Nils Hebbinghaus, Frank Neumann	Rigorous analyses of simple diversity mechanisms.	GECCO	2007	DBLP DOI BibTeX RDF	selection procedures, diversity, runtime analysis
1	Tobias Friedrich, Nils Hebbinghaus, Frank Neumann, Jun He, Carsten Witt	Approximating covering problems by randomized search heuristics using multi-objective models.	GECCO	2007	DBLP DOI BibTeX RDF	combinatorial optimization, multi-objective optimization, runtime analysis, covering problems
1	Maria Jump, Kathryn S. McKinley	Cork: dynamic memory leak detection for garbage-collected languages.	POPL	2007	DBLP DOI BibTeX RDF	memory leak detection, garbage collection, dynamic, runtime analysis, memory leaks
1	Carsten Gremzow	Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design.	SCSC	2007	DBLP DOI BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
1	Yevgen Voronenko, Markus Püschel	Multiplierless multiple constant multiplication.	ACM Transactions on Algorithms	2007	DBLP DOI BibTeX RDF	directed graph, FIR filter, Addition chains, fixed-point arithmetic, strength reduction
1	Benjamin Doerr, Michael Gnewuch, Nils Hebbinghaus, Frank Neumann	A rigorous view on neutrality.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, Larry Rudolph, Weng-Fai Wong	Ubiquitous Memory Introspection.	CGO	2007	DBLP DOI BibTeX RDF
1	Jens Jägersküpper, Tobias Storch	When the Plus Strategy Outperforms the Comma Strategyand When Not.	FOCI	2007	DBLP DOI BibTeX RDF
1	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
1	Frank Neumann, Carsten Witt	Runtime Analysis of a Simple Ant Colony Optimization Algorithm.	Electronic Colloquium on Computational Complexity (ECCC)	2006	DBLP BibTeX RDF
1	Carsten Witt	Runtime Analysis of the (mu + 1) EA on Simple Pseudo-Boolean Functions.	Evolutionary Computation	2006	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Model-based runtime analysis of distributed reactive systems.	ASWEC	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Decentralized runtime analysis of multithreaded applications.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Frank Neumann, Carsten Witt	Runtime Analysis of a Simple Ant Colony Optimization Algorithm.	Theory of Evolutionary Algorithms	2006	DBLP BibTeX RDF
1	Oliver Giel, Ingo Wegener	Maximum cardinality matchings on trees by randomized local search.	GECCO	2006	DBLP DOI BibTeX RDF	maximum cardinality matchings, randomized local search, evolutionary algorithms, runtime analysis
1	Tobias Storch	On the impact of objective function transformations on evolutionary and black-box algorithms.	Genetic Programming and Evolvable Machines	2006	DBLP DOI BibTeX RDF	Black-box algorithm, Evolutionary algorithm, Runtime analysis
1	Iman Poernomo, Guijun Wang	AQuSerM 2006: Advances in Quality of Service Management.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
1	Mala L. Radhakrishnan, Sara L. Su	Dead-End Elimination as a Heuristic for Min-Cut Image Segmentation.	ICIP	2006	DBLP DOI BibTeX RDF
1	Johannes Koskinen, Markus Kettunen, Tarja Systä	Profile-Based Approach to Support Comprehension of Software Behavior.	ICPC	2006	DBLP DOI BibTeX RDF
1	Robert C. Seacord	Secure Coding in C and C++: Of Strings and Integers.	IEEE Security & Privacy	2006	DBLP DOI BibTeX RDF	programming language security, secure development, C++, C
1	Jens Jägersküpper, Tobias Storch	How Comma Selection Helps with the Escape from Local Optima.	PPSN	2006	DBLP DOI BibTeX RDF
1	Per Kristian Lehre, Pauline C. Haddow	Accessibility and Runtime Between Convex Neutral Networks.	SEAL	2006	DBLP DOI BibTeX RDF
1	Oliver Giel	Runtime Analysis of a Simple Multi-Objective Evolutionary Algorithm.	Practical Approaches to Multi-Objective Optimization	2005	DBLP BibTeX RDF
1	Jens Jägersküpper	Rigorous Runtime Analysis of the (1+1) ES: 1/5-Rule and Ellipsoidal Fitness Landscapes.	FOGA	2005	DBLP DOI BibTeX RDF
1	Stas Rozenfeld, Ilan Shimshoni	The Modified pbM-Estimator Method and a Runtime Analysis Technique for the RANSAC Family.	CVPR	2005	DBLP DOI BibTeX RDF
1	Julita Corbalán, Xavier Martorell, Jesús Labarta	Performance-Driven Processor Allocation.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	Operating system algorithms, performance analysis, OpenMP, multiprocessor scheduling, runtime analysis
1	Grigore Rosu, Klaus Havelund	Rewriting-Based Techniques for Runtime Verification.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	verification, rewriting, runtime analysis
1	Nana B. Sam, Martin Burtscher	On the energy-efficiency of speculative hardware.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	energy-performance metric, energy-efficiency, speculation