3146 search results - page 139 / 630 » The use of compiler optimizations for embedded systems softw... |
144
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
154
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
157
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
177
click to vote
EIT
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract--In the decade since the concept was publicly introduced, power analysis attacks on cryptographic systems have become an increasingly studied topic in the computer securit...
163
click to vote
GPCE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...