378 search results - page 58 / 76 » Automating Mathematical Program Transformations |
80
Voted
ICHIM
2001
15 years 2 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...
96
Voted
CDC
2010
IEEE
14 years 7 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...
141
Voted
DB
2008
15 years 22 days 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...
66
Voted
MP
2008
15 years 19 days 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...
103
click to vote
PLDI
2012
ACM
13 years 3 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 ...