3256 search results - page 65 / 652 » Mixin-Based Programming in C |
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
114
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
108
click to vote
ISCAS
2003
IEEE
15 years 7 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...
116
Voted
AMAST
2008
Springer
15 years 4 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...
111
Voted
ICCD
2004
IEEE
15 years 11 months 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 ...