3473 search results - page 267 / 695 » Aspect-Oriented Programming with C |
226
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper, we propose and evaluate two parallel implementations of Multi-dimensional Ensemble Empirical Mode Decomposition (MEEMD) for multi-core (CPU) and many-core (GPU) arc...
208
click to vote
ENTCS
2002
15 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
213
click to vote
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
182
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
198
click to vote
SIAMJO
2010
15 years 5 months ago
2010
Identifying small groups of lines, whose removal would cause a severe blackout, is critical for the secure operation of the electric power grid. We show how power grid vulnerabilit...