Results 1 to 10 of about 27,104 (178)
The execution algorithm of mercury, an efficient purely declarative logic programming language
The Journal of Logic Programming, 1996 Summary: We introduce Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs. Mercury's strong type, mode, and determinism systems improve program reliability by catching many errors at compile time.
Thomas C. Conway +2 more
openaire +3 more sources
Percolation modeling of hydraulic hysteresis in a porous media [PDF]
Компьютерные исследования и моделирование, 2014 In this paper we consider various models of hydraulic hysteresis in invasive mercury porosimetry. For simulating the hydraulic hysteresis is used isotropic site percolation on three-dimensional square lattices with $(1,\,\pi)$-neighborhood.
Pavel Valentinovich Moskalev
doaj +1 more source
Global Mercury Footprint Evaluation using a Geographical Pollutant Propagation Model
Chemical Engineering Transactions, 2020 This work presents a method for the accurate evaluation of the footprint of chemical pollutants on a global scale. An extension of the standard pollution propagation models is proposed to calculate the chemical footprint efficiently.
Anna Makarova +2 more
doaj +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
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
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
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
The GENGA Code: Gravitational Encounters in N-body simulations with GPU Acceleration [PDF]
, 2014 We describe an open source GPU implementation of a hybrid symplectic N-body integrator, GENGA (Gravitational ENcounters with Gpu Acceleration), designed to integrate planet and planetesimal dynamics in the late stage of planet formation and stability ...
Grimm, Simon L., Stadel, Joachim G.
core +1 more source