Results 11 to 20 of about 26,773 (168)
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
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
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
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
Microcomputer-controlled polarographic instrumentation and its use in the determination of stability constants of crown ether complexes [PDF]
, 1985 A computer-controlled polarographic system is described, based on a commercially available polarograph interfaced to a microcomputer. Experiments are controlled and monitored entirely from software, including automatic evaluation of the Tast polarograms ...
Bos, M. +3 more
core +3 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
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
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
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
Finding Minimal Cost Herbrand Models with Branch-Cut-and-Price
, 2018 Given (1) a set of clauses $T$ in some first-order language $\cal L$ and (2) a cost function $c : B_{{\cal L}} \rightarrow \mathbb{R}_{+}$, mapping each ground atom in the Herbrand base $B_{{\cal L}}$ to a non-negative real, then the problem of finding a
Cussens, James
core +1 more source