Source transformation

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

Topic mentions per year

Topic mentions per year

1984-2017
051019842017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A number of powerful and scalable hybrid systems model checkers have recently emerged. Although all of them honor roughly the… (More)
  • 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… (More)
  • figure 2
  • figure 12
  • figure 15
  • figure 16
  • figure 17
Is this relevant?
2006
2006
We present MSAD, a source transformation implementation of forward mode automatic differentiation for MATLAB. MSAD specialises… (More)
  • figure 5
  • table 2
  • table 3
  • table 4
Is this relevant?
2006
2006
In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2006
Review
2006
The TXL transformation framework has been widely used in practical source transformation tasks in industry and academia for many… (More)
  • figure 1
  • figure 4
  • figure 2
  • figure 5
  • figure 15
Is this relevant?
2005
2005
Concurrent programming poses a unique set of problems for quality assurance. These difficulties include the complexities of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 7
Is this relevant?
2004
2004
This article presents the first extended set of results from EliAD, a source-transformation implementation of the vertex… (More)
  • figure 1
  • table I
  • table II
  • table III
  • table IV
Is this relevant?
2003
2003
This paper presents a method for unique renaming declarations and references in Java programs using source transformation to XML… (More)
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software… (More)
  • figure 2
  • figure 3
  • figure 1
  • figure 4
  • figure 6
Is this relevant?
2001
2001
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?