Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Source transformation

Source transformation is simplifying a circuit solution, especially with mixed sources, by transforming a voltage into a current source, and vice… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A toolbox called ADiGator is described for algorithmically differentiating mathematical functions in MATLAB. ADiGator performs… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2015
Highly Cited
2015
A number of powerful and scalable hybrid systems model checkers have recently emerged. Although all of them honor roughly the… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
TXL is a special-purpose programming language designed for creating, manipulating and rapidly prototyping language descriptions… Expand
  • figure 2
  • figure 12
  • figure 15
  • figure 16
  • figure 17
Is this relevant?
Highly Cited
2004
Highly Cited
2004
A testability transformation is a source-to-source transformation that aims to improve the ability of a given test generation… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2004
2004
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper describes the C Intermediate Language: a high-level representation along with a set of tools that permit easy analysis… Expand
  • figure 1
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Abstract Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software… Expand
  • figure 2
  • figure 3
  • figure 1
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Derivatives of mathematical functions play a key role in various areas of numerical and technical computing. Many of these… Expand
  • figure 2
  • figure 5
  • figure 6
Is this relevant?
1995
1995
This paper presents a novel implementation of memoing evaluation [SSW94] by source-to-source transformation. The transformation… Expand
Is this relevant?
Highly Cited
1977
Highly Cited
1977
The use of source-to-source program transformations has proved valuable in improving program performance. The concept of program… Expand
Is this relevant?