15974 search results - page 2768 / 3195 » Object-Oriented Software Engineering |
166
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
158
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
150
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
156
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
High-performance and low-power VLIW DSP processors are increasingly deployed on embedded devices to process video and multimedia applications. For reducing power and cost in desig...
187
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...