5241 search results - page 316 / 1049 » Embedded Programming with C |
118
Voted
ITC
2003
IEEE
16 years 2 days 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...
161
click to vote
LCR
2000
Springer
15 years 10 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)...
142
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
201
click to vote
SCP
2000
15 years 6 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
186
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on object...