×

Found 408 Documents (Results 101–200)

Runtime analysis of discrete particle swarm optimization applied to shortest paths computation. (English) Zbl 1525.68213

Liefooghe, Arnaud (ed.) et al., Evolutionary computation in combinatorial optimization. 19th European conference, EvoCOP 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11452, 115-130 (2019).
PDFBibTeX XMLCite
Full Text: DOI

A tight runtime analysis for the \((1+(\lambda,\lambda))\) GA on LeadingOnes. (English) Zbl 1433.68641

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 169-182 (2019).
MSC:  68W50 68W40 90C59
PDFBibTeX XMLCite
Full Text: DOI

Runtime analysis of evolutionary algorithms for the depth restricted \((1,2)\)-minimum spanning tree problem. (English) Zbl 1433.68652

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 133-146 (2019).
MSC:  68W50 68W40 90C59
PDFBibTeX XMLCite
Full Text: DOI

Analysis of baseline evolutionary algorithms for the packing while travelling problem. (English) Zbl 1433.68650

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 124-132 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Time complexity analysis of RLS and (1+1) EA for the edge coloring problem. (English) Zbl 1433.68642

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 102-115 (2019).
MSC:  68W50 05C15 68W40
PDFBibTeX XMLCite
Full Text: DOI Link

Exponential slowdown for larger populations. The \((\mu+1)\)-EA on monotone functions. (English) Zbl 1433.68647

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 87-101 (2019).
MSC:  68W50 68W40 90C59
PDFBibTeX XMLCite
Full Text: DOI

An exponential lower bound for the runtime of the compact genetic algorithm on jump functions. (English) Zbl 1433.68643

Proceedings of the 15th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2019, Potsdam, Germany, August 27–29, 2019. New York, NY: Association for Computing Machinery (ACM). 25-33 (2019).
MSC:  68W50 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

A novel approach to verifying context free properties of programs. (English) Zbl 1522.68353

Tang, Shaojie (ed.) et al., Algorithmic aspects in information and management. 12th international conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11343, 74-87 (2018).
MSC:  68Q60 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Monitoring weak consistency. (English) Zbl 1511.68181

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 487-506 (2018).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Selective monitoring. (English) Zbl 1520.68101

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 20, 16 p. (2018).
MSC:  68Q87 60J20 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monitoring for silent actions. (English) Zbl 1491.68104

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Parameter invariant monitoring for signal temporal logic. (English) Zbl 1409.68174

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 187-196 (2018).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI Link

Sparse direct solution on parallel computers. (English) Zbl 1478.65032

Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer. Springer Proc. Math. Stat. 235, 67-98 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

The sparse Fourier transform: theory and practice. Revised version of the author’s 2016 ACM Dissertation. (English) Zbl 1447.65004

ACM Books 19. New York, NY: Association for Computing Machinery (ACM); Williston, VT: Morgan & Claypool Publishers (ISBN 978-1-94748-707-9//hbk; 978-1-94748-704-8/pbk; 978-1-947487-05-5/ebook). xvii, 260 p. (2018).
MSC:  65-02 65T50 94A12
PDFBibTeX XMLCite
Full Text: DOI

Gathering anonymous, oblivious robots on a grid. (English) Zbl 1503.68277

Fernández Anta, Antonio (ed.) et al., Algorithms for sensor systems. 13th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2017, Vienna, Austria, September 7–8, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10718, 168-181 (2017).
MSC:  68T40 68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Runtime verification monitor construction for three-valued PPTL. (English) Zbl 1461.68122

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 144-159 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Consistently-detecting monitors. (English) Zbl 1442.68107

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Lower bounds on the run time of the univariate marginal distribution algorithm on OneMax. (English) Zbl 1365.68391

Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 65-79 (2017).
MSC:  68T20 68Q17 68W40
PDFBibTeX XMLCite
Full Text: DOI Link

Analysis of the clearing diversity-preserving mechanism. (English) Zbl 1365.68387

Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 55-63 (2017).
MSC:  68T20 68W40 90C59
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Analysis of the (1+1) EA on subclasses of linear functions under uniform and linear constraints. (English) Zbl 1365.68388

Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 45-54 (2017).
MSC:  68T20 68W40 90C59
PDFBibTeX XMLCite
Full Text: DOI Link

Runtime analysis of a discrete particle swarm optimization algorithm on sorting and OneMax. (English) Zbl 1365.68394

Proceedings of the 14th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2017, Copenhagen, Denmark, January 12–15, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4651-1). 13-24 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about recursive probabilistic programs. (English) Zbl 1401.68048

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 672-681 (2016).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast approximation algorithms for the generalized survivable network design problem. (English) Zbl 1398.68673

Seok-Hee Hong (ed.), 27th international symposium on algorithms and computation, ISAAC 2016, Sydney, Australia, December 12–14, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-026-2). LIPIcs – Leibniz International Proceedings in Informatics 64, Article 33, 12 p. (2016).
MSC:  68W25 05C85 90C35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Decentralized asynchronous crash-resilient runtime verification. (English) Zbl 1392.68234

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 16, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software