paper-with-me

홈 › Papers

Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)

2017-07-18 · Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi

One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip (ONoCs). Among them, wavelength routing can be used to route a signal to destination by univocally associating a routing path to the wavelength of the optical carrier. Such wavelengths should be chosen so to minimize interferences among optical channels and to avoid routing faults. As a result, physical parameter selection of such networks requires the solution of complex constrained optimization problems. In previous work, published in the proceedings of the International Conference on Computer-Aided Design, we proposed and solved the problem of computing the maximum parallelism obtainable in the communication between any two endpoints while avoiding misrouting of optical signals. The underlying technology, only quickly mentioned in that paper, is Answer Set Programming (ASP). In this work, we detail the ASP approach we used to solve such problem. Another important design issue is to select the wavelengths of optical carriers such that they are spread across the available spectrum, in order to reduce the likelihood that, due to imperfections in the manufacturing process, unintended routing faults arise. We show how to address such problem in Constraint Logic Programming on Finite Domains (CLP(FD)). This paper is under consideration for possible publication on Theory and Practice of Logic Programming.

📄 PDF Abstract BibTeX arXiv:1707.05858

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Deep Reinforcement Learning for Fault-Adaptive Routing in Eisenstein-Jacobi Interconnection Topologies

2026-01-28 · Mohammad Walid Charrwi, Zaid Hussain arxiv

The increasing density of many-core architectures necessitates interconnection networks that are both high-performance and fault-resilient. Eisenstein-Jacobi (EJ) networks, with their symmetric 6-regular topology, offer …

Reinforcement Learning

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

2026-03-16 · Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière 외 arxiv

The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's safe beliefs. Equilibrium logic admits a fi…

Meta-Attention: Bayesian Per-Token Routing for Efficient Transformer Inference

2026-05-27 · Alan Ferrari arxiv

Standard transformer architectures apply a single attention mechanism uniformly across all tokens and sequence positions, irrespective of local context or computational budget. We propose Meta-Attention, a framework that…

Enablers and Inhibitors in Causal Justifications of Logic Programs

2016-02-22 · Pedro Cabalar, Jorge Fandinno

To appear in Theory and Practice of Logic Programming (TPLP). In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-founded model is associated to a justificatio…

Negation

Implementing Default and Autoepistemic Logics via the Logic of GK

2014-05-05 · Jianmin Ji, Hannes Strass

The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To date, it has been used to embed in it def…

Translation