HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Integer Linear Programming

Papers
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 no. 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 no. 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-2023 easychair.org. All rights reserved.