2797 search results - page 101 / 560 » Code query by example |
143
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
118
Voted
DAC
1995
ACM
15 years 6 months ago
1995
ACM
Application domain specific DSP cores are becoming increasingly popular due to their advantageous trade–off between flexibility and cost. However, existing code generation metho...
122
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
106
Voted
TIT
2008
15 years 2 months ago
2008
This paper presents a construction of Slepian group codes from affine reflection groups. The solution to the initial vector and nearest distance problem is presented for all irred...
111
Voted
ISSE
2010
15 years 1 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...