Trace table

A trace table is a technique used to test algorithms, in order to make sure that no logical errors occur whilst the algorithm is being processed. The… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1962-2017
012319622017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Educational games can greatly benefit from integrating support for learning analytics. Game authoring tools that make this… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2015
2015
We are developing a programming education support tool pgtracer as a plug-in of well-known Web-based Learning Management System… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2007
2007
As Wireless Mesh Networks (WMNs) are continuously gathering momentum, security has become a pivotal issue. Denial of Service (DoS… (More)
  • figure 2
  • table 1
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The trace cache is a recently proposed solution to achieving high instruction fetch bandwidth by buffering and reusing dynamic… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
1998
1998
We describe a data-mining approach to creating central parts of loop invariants. The approach is based on producing a trace table… (More)
Is this relevant?
1997
1997
This paper presents several techniques for formally verifying pipelined microprocessor implementations that contain out-of-order… (More)
Is this relevant?
1997
1997
Formal verification of digital systems, from ASICs to HW/SW codesign-a pragmatic approach p. 3 The industrial success of… (More)
Is this relevant?
1990
1990
A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is… (More)
  • figure 1
  • figure 2
Is this relevant?
1962
1962
This paper provides an account of the Shadow language that is used to describe syntax and of a corresponding subroutine that… (More)
Is this relevant?