A Microkernel Architecture for Constraint Programming
This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. Experimental results indicate that the software engineering benefits are not incompatible with runtime efficiency.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Accelerating GenAI Workloads by Enabling RISC-V Microkernel Support in IREE
This project enables RISC-V microkernel support in IREE, an MLIR-based machine learning compiler and runtime. The approach begins by enabling the lowering of MLIR linalg dialect contraction ops to linalg.mmt4d op for the…
Rebooting Microreboot: Architectural Support for Safe, Parallel Recovery in Microservice Systems
Microreboot enables fast recovery by restarting only the failing component, but in modern microservices naive restarts are unsafe: dense dependencies mean rebooting one service can disrupt many callers. Autonomous remedi…
Library Liberation: Competitive Performance Matmul Through Compiler-composed Nanokernels
The rapidly evolving landscape of AI and machine learning workloads has widened the gap between high-level domain operations and efficient hardware utilization. Achieving near-peak performance still demands deep hardware…
EDU-MATRIX: A Society-Centric Generative Cognitive Digital Twin Architecture for Secondary Education
Existing multi-agent simulations often suffer from the "Agent-Centric Paradox": rules are hard-coded into individual agents, making complex social dynamics rigid and difficult to align with educational values. This paper…
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
High-throughput neural network inference requires coordinating many optimization decisions, including parallel tiling, microkernel selection, and data layout. The product of these decisions forms a search space of progra…
CPU