Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,358,697 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Debugging
Simulation
Broader (1)
Gtk#
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Context-sensitive timing automata for fast source level simulation
Sebastian Ottlik
,
Christoph Gerum
,
A. Viehl
,
W. Rosenstiel
,
O. Bringmann
Design, Automation and Test in Europe
2017
Corpus ID: 26901678
We present a novel technique for efficient source level timing simulation of embedded software execution on a target platform. In…
Expand
2015
2015
Simple Contracts for C++
Gabriel Dos
,
Reis Microsoft
,
+4 authors
Lahiri Microsoft
2015
Corpus ID: 17518913
We present a minimal system for expressing interface requirements as contracts. They provide basic mitigation measures for early…
Expand
2013
2013
Extraction of Documentation from Fortran 90 Source Code: An Industrial Experience
J. Pichler
European Conference on Software Maintenance and…
2013
Corpus ID: 16012382
Software programs in scientific and engineering domains typically contain complex and extensive computations that are…
Expand
2013
2013
Special session on "Exposed data path architectures: Recent advances and applications"
Jani Boutellier
,
P. Jääskeläinen
ICSAMOS
2013
Corpus ID: 26917616
The concept of “exposed datapath” is used in conjunction with processor architectures where the programmer can control more fine…
Expand
2012
2012
Analyse bioinformatique du contrôle des éléments transposables par les siARN chez Arabidopsis thaliana
A. Sarazin
2012
Corpus ID: 81757339
De nombreux mecanismes controlent et limitent la proliferation des elements transposables (ET) dans les genomes dont ils menacent…
Expand
2010
2010
Dynamic race detection in parallel programs
Ali Jannesari
2010
Corpus ID: 63587560
A dynamic approach for race detection based on a synthesis of lockset and happens-before analyses is proposed in this work. The…
Expand
2008
2008
Approximate verification in an open source world
Peter T. Breuer
,
S. Pickin
Innovations in Systems and Software Engineering
2008
Corpus ID: 20205061
This article details advances in a lightweight technology we have evolved to handle post hoc verification in the very large…
Expand
2007
2007
Middleware Support for Monitoring and TestingMultimedia
ServicesFalk
,
Dietrich
,
Xavier Logean
,
Shawn Koppenh ofer
,
Jean-Pierre
,
HubauxAbstract
2007
Corpus ID: 10038774
| Given a particular multimedia service, the problem is to show that the implemented service is behaving as expected. Middleware…
Expand
2003
2003
Towards a Distributed Computational Steering Environment based on CORBA
O. Coulaud
,
Michaël Dussere
,
Aurélien Esnard
International Conference on Parallel Computing
2003
Corpus ID: 1124111
2002
2002
SNOW: software systems for process migration in high-performance, heterogeneous distributed environments
K. Chanchio
,
Xian-He Sun
Proceedings. International Conference on Parallel…
2002
Corpus ID: 16516374
This paper reports our experiences on the scalable network of workstation (SNOW) project, which implements a novel methodology to…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE