×

Found 133 Documents (Results 1–100)

Fragility and robustness in mean-payoff adversarial Stackelberg games. (English) Zbl 07730611

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 9, 17 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Safe learning for near-optimal scheduling. (English) Zbl 1491.68151

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 235-254 (2021).
MSC:  68T05 68T20 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mixing probabilistic and non-probabilistic objectives in Markov decision processes. (English) Zbl 1507.68290

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 195-208 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Expected window mean-payoff. (English) Zbl 07650329

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 32, 15 p. (2019).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Safe and optimal scheduling for hard and soft tasks. (English) Zbl 1528.68045

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 36, 22 p. (2018).
MSC:  68M20 90B35 90C40
PDFBibTeX XMLCite
Full Text: DOI

Ant lion optimization: a novel algorithm applied to load frequency control problem in power system. (English) Zbl 1410.90265

Kar, Samarjit (ed.) et al., Operations research and optimization. FOTA 2016, Kolkata, India, November 24–26, 2016. Singapore: Springer. Springer Proc. Math. Stat. 225, 195-210 (2018).
MSC:  90C59 90C90
PDFBibTeX XMLCite
Full Text: DOI

On graceful labelings of trees (extended abstract). (English) Zbl 1318.05064

Katoh, Naoki (ed.) et al., WALCOM: Algorithms and computation. 5th international workshop, WALCOM 2011, New Delhi, India, February 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19093-3/pbk). Lecture Notes in Computer Science 6552, 214-220 (2011).
MSC:  05C78 05C05
PDFBibTeX XMLCite
Full Text: DOI

An efficient partitioning and scheduling algorithm for streaming applications on FPGA with resource constraint. (English) Zbl 1157.68331

Zheng, S. Q. (ed.), Parallel and distributed computing systems. Proceedings of the 19th IASTED international conference (PDCS 2007), Cambridge, MA, USA, November 19–21, 2007. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-704-8/CD-ROM). 363-368 (2007).
MSC:  68M20 68W05
PDFBibTeX XMLCite

An efficient placement algorithm for run-time reconfigurable embedded system. (English) Zbl 1157.68520

Zheng, S. Q. (ed.), Parallel and distributed computing systems. Proceedings of the 19th IASTED international conference (PDCS 2007), Cambridge, MA, USA, November 19–21, 2007. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-704-8/CD-ROM). 218-224 (2007).
MSC:  68W05 68M99
PDFBibTeX XMLCite

Multipath source routing in sensor networks based on route ranking. (English) Zbl 1170.68361

Pal, Ajit (ed.) et al., Distributed computing – IWDC 2005. 7th international workshop, Kharagpur, India, December 27–30, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30959-4/pbk). Lecture Notes in Computer Science 3741, 99-104 (2005).
MSC:  68M14 68M10 68M20
PDFBibTeX XMLCite
Full Text: DOI

Compression of partially ordered strings. (English) Zbl 1274.68118

Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 42-56 (2003).
MSC:  68P30 68Q42 68W32
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software