7124 search results - page 166 / 1425 » Programming Languages and Operating Systems |
223
click to vote
SCAM
2005
IEEE
16 years 1 days ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
142
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
155
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
179
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
186
click to vote
WCRE
2005
IEEE
16 years 1 days ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...