7139 search results - page 1404 / 1428 » Language Engineering in Practice |
145
Voted
LCTRTS
2010
Springer
15 years 10 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...
170
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
140
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
152
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
166
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...