3146 search results - page 532 / 630 » The use of compiler optimizations for embedded systems softw... |
153
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...
191
click to vote
ISCA
2011
IEEE
14 years 8 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
135
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
165
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
With the scaling of technology, transient errors caused by external particle strikes have become a critical challenge for microprocessor design. As embedded processors are widely ...
137
click to vote
CF
2010
ACM
15 years 9 months ago
2010
ACM
Competitive parallel execution (CPE) is a simple yet attractive technique to improve the performance of sequential programs on multi-core and multi-processor systems. A sequential...