Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults… 
Review
2017
Review
2017
Technology today has progressed to an extent wherein collection of data is possible for every granular aspect of a business, in… 
2015
2015
2014
2014
We discuss how (not) to use number types based on expression dags and adaptive precision in geometric computing. Such number… 
2010
2010
Justification Logic (JL) is a refinement of modal logic that has recently been proposed for explaining well-known paradoxes… 
Review
2003
Review
2003
Modern microprocessors increasingly apply aggressive speculation techniques to overcome performance barriers. Two such… 
2001
2001
Data integration efforts often aim to give users access to multiple data sources through queries (and other requests) against a… 
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… 
1978
1978
  • L. Czaja
  • Inf. Process. Lett.
  • 1978
  • Corpus ID: 41773409