385 search results - page 61 / 77 » Verified Code Generation for Embedded Systems |
92
Voted
CASCON
2006
15 years 3 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
112
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
For memory constrained environments like embedded systems, optimization for program size is often as important, if not more important, as optimization for execution speed. Commonl...
112
Voted
IACR
2011
14 years 1 months ago
2011
Norway is going to experience an Internet voting scheme in September 2011 for local governmental elections, targeting a comprehensive Internet voting system in 2017 for national el...
127
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
Compiler technology is becoming a key component in the design of embedded systems, mostly due to increasing participation of software in the design process. Meeting system-level ob...
123
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
A large number of embedded systems include 8-bit microcontrollers for their energy efficiency and low cost. Multi-bank memory architecture is commonly applied in 8-bit microcontr...