Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Computation history

In computer science, a computation history is a sequence of steps taken by an abstract machine in the process of computing its result. Computation… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Justification Logic (JL) is a refinement of modal logic in which assertions of knowledge and belief are accompanied by… Expand
  • figure 1
  • figure 2
  • figure 5
Is this relevant?
2015
2015
This paper presents a hierarchical dynamic power management (DPM) framework based on reinforcement learning (RL) technique, which… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
VerSum allows lightweight clients to outsource expensive computations over large and frequently changing data structures, such as… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2013
2013
Keywords: active tunable inductance ; analog CMOS design ; analog computation ; analog emulation ; analog integrated circuit… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
2011
2011
The Saturation-style fixpoint iteration strategy for symbolic reachability analysis is particularly effective for globally… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Justification Logic (JL) is a refinement of modal logic that has recently been proposed for explaining well-known paradoxes… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A reversible programming language supports deterministic forward and backward computation. We formalize the programming language… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide… Expand
  • figure 1
  • figure 4
Is this relevant?
Review
2003
Review
2003
Modern microprocessors increasingly apply aggressive speculation techniques to overcome performance barriers. Two such… Expand
Is this relevant?
1993
1993
We present the implementation of a Prolog system composed of interpreter and compiler. The originality of our work consists in… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?