10707 search results - page 75 / 2142 » Designing executable abstractions |
143
click to vote
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
119
click to vote
ISCA
2009
IEEE
15 years 9 months ago
2009
IEEE
While microprocessor designers turn to multicore architectures to sustain performance expectations, the dramatic increase in parallelism of such architectures will put substantial...
150
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
133
click to vote
CSIE
2009
IEEE
15 years 7 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
128
click to vote
MOBICOM
2012
ACM
13 years 5 months ago
2012
ACM
Many networked applications that run in the background on a mobile device incur significant energy drains when using the cellular radio interface for communication. This is mainl...