3256 search results - page 132 / 652 » Mixin-Based Programming in C |
154
Voted
WCE
2007
15 years 4 months ago
2007
—The genetic programming approach is applied to the problem of aircraft autolanding, subject to wind disturbances. The derived control law is tested successfully, using a lineari...
130
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The linear programming method is applied to the space Un(C) of unitary matrices in order to obtain bounds for codes relative to the diversity sum and the diversity product. Theore...
169
Voted
JAR
2008
15 years 3 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
164
Voted
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
75
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a method for automatically generating diagnostic programs for mixed-signal load boards. This procedure employs a statistical method of computing Mahalanobis D...