Sciweavers

136 search results - page 2 / 28
» An introduction to programming microcontrollers
Sort
View
ASPDAC
2000
ACM
83views Hardware» more  ASPDAC 2000»
13 years 10 months ago
A new approach to assembly software retargeting for microcontrollers
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
Ing-Jer Huang, Dao-Zhen Chen
FMICS
2010
Springer
13 years 6 months ago
Range Analysis of Microcontroller Code Using Bit-Level Congruences
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
Jörg Brauer, Andy King, Stefan Kowalewski

Book
460views
15 years 4 months ago
C++ Essentials
"This book serves as an introduction to the C++ language. It teaches how to program in C++ and how to properly use its features. It does not attempt to teach object-oriented...
Sharam Hekmat
LCTRTS
2005
Springer
13 years 11 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
APIN
2000
155views more  APIN 2000»
13 years 6 months ago
Defeasible Logic on an Embedded Microcontroller
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
Michael A. Covington