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
2017
2017
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults… Expand
  • figure 2
  • figure 3
  • figure 4
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
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
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
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
2001
2001
Data integration efforts often aim to give users access to multiple data sources through queries (and other requests) against a… Expand
  • figure 1
  • figure 2
Highly Cited
2000
Highly Cited
2000
In this paper we present LEONARDO, an integrated environment for software visualization that allows the user to edit, compile… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1993
1993
We present the implementation of a Prolog system composed of interpreter and compiler. The originality of our work consists in… Expand
Highly Cited
1987
Highly Cited
1987
In our model, a graph describes a net of processes communicating through ports and, at the same time, its computation history… Expand
  • figure I
  • figure 3
  • figure 5
  • figure 6
  • figure 7