Results 1 to 10 of about 1,803,631 (274)
Weight prioritized slicing based on constraint logic programming for fault localization. [PDF]
PLoS ONE, 2020 Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs.
Shengbing Ren +3 more
doaj +2 more sources
Chemically Programmable Underwater Sound‐Absorbing Metamaterial via MXene Self‐Assembly [PDF]
Advanced ScienceResearch on underwater acoustic metamaterials is constrained by a “geometry‐determines‐performance” paradigm, resulting in narrow bandwidth and complex fabrication processes.
Ziwen Gan +5 more
doaj +2 more sources
On logical constraints in logic programming [PDF]
Information and Computation, 1995 We introduce a new form of logic programming with constraints. The constraints that we consider are not restricted to statements on real numbers as in CLP(R), see Jaffar and Lassez [10]. Instead our constraints are arbitrary global constraints. The basic idea is that the applicability of a given rule is not predicated on the fact that individual ...
V. Wiktor Marek +2 more
+11 more sources
A DECLARATIVE APPROACH TO SHOP ORDERS OPTIMIZATION [PDF]
Applied Computer Science, 2019 The paper presents the problem of material requirements planning with optimization of load distribution between work centers and workers’ groups. Moreover, it discusses the computational example for shop orders opti-mization.
Jarosław WIKAREK +2 more
doaj +1 more source
Constraint Logic Programming over Infinite Domains with an Application to Proof [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An important aspect is detecting when enumeration was complete and if this has an
Sebastian Krings, Michael Leuschel
doaj +1 more source
Towards a Unified Framework for Declarative Structured Communications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis ...
Hugo A. López +2 more
doaj +1 more source
Shift scheduling solution with hybrid approach in a power plant
Alexandria Engineering Journal, 2021 This study focuses on staff scheduling problems in a natural gas combined cycle power plants with demanding shift systems. Scheduling the personnel working in power plants to the most suitable shift program can be arduous in terms of energy supply ...
Emir Hüseyin Özder +3 more
doaj +1 more source
A Constraint-Based Declarative Programming Framework for Scheduling and Resource Allocation Problems [PDF]
Vietnam Journal of Computer Science, 2019 Scheduling and resource allocation problems are widespread in many areas of today’s technology and management. Their different forms and structures appear in production, logistics, software engineering, computer networks, project and human resources ...
Jarosław Wikarek, Paweł Sitek
doaj +1 more source
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints
IEEE Access, 2022 A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs.
Kohei Fujita, Toshimitsu Ushio
doaj +1 more source