HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Integer Linear Programming

Publications
Task Mapping and Scheduling in FPGA-Based Heterogeneous Real-Time Systems: a RISC-V Case-Study
Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler and Klaus McDonald-Maier
EasyChair Preprint 8979
A New Model for Multi-Robot Path Planning on Graphs with Using Network Flow
Samira Kashefi Biroon, Bahram Sadeghi Bigham and Salman Khodayifar
EasyChair Preprint 2029
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems
Rachel Faran and Orna Kupferman
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.