Results 11 to 20 of about 28,128 (192)
Automatic Parallelism in Mercury [PDF]
, 2011 Our project is concerned with the automatic parallelization of Mercury programs. Mercury is a purely-declarative logic programming language, this makes it easy to determine whether a set of computations may be performed in parallel with one-anther ...
Bone, Paul
core +1 more source
Testing Reliable Distributed Applications Through Simulated Events [PDF]
, 1989 There are many distributed applications that incorporate application-specific reliability algorithms which operate on top of general purpose networking, operating system and programming language facilities.
Kaiser, Gail E., Winfrey, Travis L.
core +2 more sources
A Practical Type Analysis for Verification of Modular Prolog Programs [PDF]
, 2008 Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency.
Correas Fernandez, Jesús +3 more
core +3 more sources
PC-CUBE: A Personal Computer Based Hypercube [PDF]
, 1988 PC-CUBE is an ensemble of IBM PCs or close compatibles connected in the hypercube topology with ordinary computer cables. Communication occurs at the rate of 115.2 K-band via the RS-232 serial links.
Breaden, Matt +7 more
core +2 more sources
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation [PDF]
, 2015 Many recent analyses for conventional imperative programs begin by transforming programs into logic programs, capitalising on existing LP analyses and simple LP semantics.
Gange, Graeme +4 more
core +1 more source
Mercury: using the QuPreSS reference model to evaluate predictive services [PDF]
, 2017 Nowadays, lots of service providers offer predictive services that show in advance a condition or occurrence about the future. As a consequence, it becomes necessary for service customers to select the predictive service that best satisfies their needs ...
Bisbal, Jesus +2 more
core +2 more sources
A Refinement Calculus for Logic Programs [PDF]
, 2002 Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs.
Colvin, Robert +4 more
core +2 more sources
Region-based memory management for Mercury programs
, 2012 Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point
Janssens, Gerda +2 more
core +1 more source
First-order integer programming for MAP problems
, 2015 Finding the most probable (MAP) model in SRL frameworks such as Markov logic and Problog can, in principle, be solved by encoding the problem as a `grounded-out' mixed integer program (MIP).
Cussens, James
core +1 more source
FEBS Letters, EarlyView.Mitochondrial remodeling shapes neural and glial lineage progression by matching metabolic supply with demand. Elevated OXPHOS supports differentiation and myelin formation, while myelin compaction lowers mitochondrial dependence, revealing mitochondria as key drivers of developmental energy adaptation.
Sahitya Ranjan Biswas +3 more
wiley +1 more source