3473 search results - page 106 / 695 » Aspect-Oriented Programming with C |
118
Voted
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we use a digital signal processor (DSP) to implement a real-time H.263+ codec. We use fast algorithms to reduce the codec computational complexity. Furthermore, the...
124
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
120
Voted
ICCD
2004
IEEE
16 years 19 days ago
2004
IEEE
In this paper, we investigate the core-switch mapping(CSM) problem that optimally maps cores onto an NoC architecture such that either the energy consumption or the congestion is ...
105
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
118
Voted
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...