378 search results - page 58 / 76 » Automating Mathematical Program Transformations |
ICHIM
2001
13 years 8 months ago
2001
MauroTeX, an extension of the wellknown LaTeX typesetting system, is a language designed in order to completely describe philological critical editions of ancient mathematical and...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
DB
2008
13 years 7 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
MP
2008
13 years 7 months ago
2008
In this paper I describe a new and exciting application of optimization technology. The problem is to design a space telescope capable of imaging Earth-like planets around nearby s...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...