2477 search results - page 297 / 496 » First-Order Interactive Programming |
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
174
click to vote
AMS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
118
click to vote
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
102
click to vote
AAAI
2008
15 years 4 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
110
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...