Results 1  10
of
5,373
Combinations of Simplifying Conditional Term Rewriting Systems
 In Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems
, 1992
"... . A conditional term rewriting system (CTRS) is called simplifying if there exists a simplification ordering ? on terms such that the lefthand side of any rewrite rule is greater than the righthand side and the terms occurring in the conditions of that rule. If a simplifying join CTRS consists of ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
. A conditional term rewriting system (CTRS) is called simplifying if there exists a simplification ordering ? on terms such that the lefthand side of any rewrite rule is greater than the righthand side and the terms occurring in the conditions of that rule. If a simplifying join CTRS consists
Software Transactional Memory
, 1995
"... As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a Load Linked/Store Conditional operation on a single word. Building ..."
Abstract

Cited by 695 (14 self)
 Add to MetaCart
As we learn from the literature, flexibility in choosing synchronization operations greatly simplifies the task of designing highly concurrent programs. Unfortunately, existing hardware is inflexible and is at best on the level of a Load Linked/Store Conditional operation on a single word. Building
Simplification by cooperating decision procedures
 ACM Transactions on Programming Languages and Systems
, 1979
"... A method for combining decision procedures for several theories into a single decision procedure for their combination is described, and a simplifier based on this method is discussed. The simplifier finds a normal form for any expression formed from individual variables, the usual Boolean connectiv ..."
Abstract

Cited by 455 (2 self)
 Add to MetaCart
A method for combining decision procedures for several theories into a single decision procedure for their combination is described, and a simplifier based on this method is discussed. The simplifier finds a normal form for any expression formed from individual variables, the usual Boolean
Theoretical and Empirical properties of Dynamic Conditional Correlation Multivariate GARCH
, 2001
"... In this paper, we develop the theoretical and empirical properties of a new class of multivariate GARCH models capable of estimating large timevarying covariance matrices, Dynamic Conditional Correlation Multivariate GARCH. We show that the problem of multivariate conditional variance estimation ca ..."
Abstract

Cited by 219 (11 self)
 Add to MetaCart
can be simplified by estimating univariate GARCH models for each asset, and then, using transformed residuals resulting from the first stage, estimating a conditional correlation estimator. The standard errors for the first stage parameters remain consistent, and only the standard errors
A type and effect system for atomicity
 In PLDI 03: Programming Language Design and Implementation
, 2003
"... Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed this problem by devising tools for detecting race conditions, a situation where two threads simultaneously access the same d ..."
Abstract

Cited by 252 (22 self)
 Add to MetaCart
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed this problem by devising tools for detecting race conditions, a situation where two threads simultaneously access the same
Strongly Equivalent Logic Programs
 ACM Transactions on Computational Logic
, 2000
"... A logic program 1 is said to be equivalent to a logic program 2 in the sense of the answer set semantics if 1 and 2 have the same answer sets. We are interested in the following stronger condition: for every logic program , 1 [ has the same answer sets as 2 [ . The study of strong equival ..."
Abstract

Cited by 231 (36 self)
 Add to MetaCart
A logic program 1 is said to be equivalent to a logic program 2 in the sense of the answer set semantics if 1 and 2 have the same answer sets. We are interested in the following stronger condition: for every logic program , 1 [ has the same answer sets as 2 [ . The study of strong
Constraint Handling Rules
 Constraint Programming: Basics and Trends, LNCS 910
, 1995
"... . We are investigating the use of a class of logical formulas to define constraint theories and implement constraint solvers at the same time. The representation of constraint evaluation in a declarative formalism greatly facilitates the prototyping, extension, specialization and combination of cons ..."
Abstract

Cited by 224 (33 self)
 Add to MetaCart
of constraint solvers. In our approach, constraint evaluation is specified using multiheaded guarded clauses called constraint handling rules (CHRs). CHRs define determinate conditional rewrite systems that express how conjunctions of constraints propagate and simplify. In this paper we concentrate on CHRs
The retinex theory of color vision
 Sci. Amer
, 1977
"... Λ retinaandcortex system (retinex) may treat a color as a code for a threepart report from the retina, independent of the flux of radiant energy but correlated with the reflectance of objects by Edwin H. Land The scientific tradition of simplifying the conditions of an experiment has left us unti ..."
Abstract

Cited by 211 (0 self)
 Add to MetaCart
Λ retinaandcortex system (retinex) may treat a color as a code for a threepart report from the retina, independent of the flux of radiant energy but correlated with the reflectance of objects by Edwin H. Land The scientific tradition of simplifying the conditions of an experiment has left us
Reduction: A Method of Proving Properties of Parallel Programs
, 1975
"... When proving that a parallel program has a given property it is often convenient to assume that a statement is indivisible, i.e. that the statement cannot be interleaved with the rest of the program. Here sufficient conditions are obtained to show that the assumption that a statement is indivisible ..."
Abstract

Cited by 193 (0 self)
 Add to MetaCart
When proving that a parallel program has a given property it is often convenient to assume that a statement is indivisible, i.e. that the statement cannot be interleaved with the rest of the program. Here sufficient conditions are obtained to show that the assumption that a statement is indivisible
Results 1  10
of
5,373