3404 search results - page 140 / 681 » C Programming Tutorial |
CORR
2008
Springer
14 years 10 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...
118
click to vote
JAR
2008
14 years 10 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...
102
click to vote
ASPLOS
2008
ACM
14 years 12 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, ...
ITC
2003
IEEE
15 years 3 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...
LCR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...