Skip to search formSkip to main contentSkip to account menu

Source-code annotation

Known as: Source code annotation 
Source-code annotation is a feature of debugging tools such as GTKWave that allows values from a simulation run to be viewable directly in the source… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present a novel technique for efficient source level timing simulation of embedded software execution on a target platform. In… 
2015
2015
We present a minimal system for expressing interface requirements as contracts. They provide basic mitigation measures for early… 
2013
2013
Software programs in scientific and engineering domains typically contain complex and extensive computations that are… 
2013
2013
The concept of “exposed datapath” is used in conjunction with processor architectures where the programmer can control more fine… 
2012
2012
De nombreux mecanismes controlent et limitent la proliferation des elements transposables (ET) dans les genomes dont ils menacent… 
2010
2010
A dynamic approach for race detection based on a synthesis of lockset and happens-before analyses is proposed in this work. The… 
2008
2008
This article details advances in a lightweight technology we have evolved to handle post hoc verification in the very large… 
2007
2007
| Given a particular multimedia service, the problem is to show that the implemented service is behaving as expected. Middleware… 
2002
2002
This paper reports our experiences on the scalable network of workstation (SNOW) project, which implements a novel methodology to…