A microkernel architecture for constraint programming
نویسندگان
چکیده
منابع مشابه
A Microkernel Architecture for Distributed Mobile Environments
Microkernels are well known in the area of operating systems research. In this paper we adapted the concept of microkernel to the field of Computer Supported Cooperative Work and Learning (CSCW/L) to provide a basic underlying architecture for various collaborative systems. Such architecture serves well for the fields of mobile and distributed collaborative infrastructures with its new inclusio...
متن کاملA Virtual Machine Architecture for Constraint Based Programming
We present a Forth style virtual machine architecture designed to provide for constriant based programming. We add ?CONTINUE and CHOICE commands to allow for checking constraints and making tentative choice. A choice which is later seen to be incompatible with a constraint provokes backtracking, which is implemented by reversible execution of the virtual machine. keywords: Forth, Virtual Machin...
متن کاملA Two-Stage Chance-Constraint Stochastic Programming Model for Electricity Supply Chain Network Design
Development of every society is incumbent upon energy sector’s technological and economic effectiveness. The electricity industry is a growing and needs to have a better performance to effectively cover the demand. The industry requires a balance between cost and efficiency through careful design and planning. In this paper, a two-stage stochastic programming model is presented for the design o...
متن کاملAn I/O Architecture for Microkernel-Based Operating Systems
In a workhorse operating-system architecture, a slightly modified or unmodified off-the-shelf operating system runs as workhorse on a core operating system, next to application processes which have requirements not supported by the original workhorse alone. Examples include off-the-shelf operating systems running on real-time executives or trusted kernels. For such architectures, several challe...
متن کاملTowards Microkernel Support for the SR Concurrent Programming Language
Microkernels provide a core set of abstractions; these usually include threads, interprocess communication (IPC), and memory regions. These abstractions are used to implement higher-level operating system func-tionality, such as le systems and network protocols. However, programming these low-level abstractions is cumbersome and error-prone. Using a concurrent programming language can raise the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Constraints
سال: 2016
ISSN: 1383-7133,1572-9354
DOI: 10.1007/s10601-016-9242-1