5241 search results - page 597 / 1049 » Embedded Programming with C |
128
click to vote
EWSN
2008
Springer
16 years 4 months ago
2008
Springer
Sensors networks instrument the physical space using motes that run network embedded programs thus acquiring, processing, storing and transmitting sensor data. The motes commercial...
157
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
149
Voted
ISW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. While code obfuscation attempts to hide certain characteristics of a program independently of an application, white-box cryptography (WBC) specifically focuses on softwa...
122
click to vote
IEEEPACT
2007
IEEE
15 years 11 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
150
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Code compression has been applied to embedded systems to minimize the silicon area utilized for program memories, and lower the power consumption. More recently, it has become a n...