Sciweavers

537 search results - page 2 / 108
» Compiling Exceptions Correctly
Sort
View
CL
2008
Springer
13 years 7 months ago
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaem...
JUCS
2007
89views more  JUCS 2007»
13 years 7 months ago
Improving Program Correctness with Atomic Exception Handling
Christof Fetzer, Pascal Felber
ECOOPWEXCEPTION
2006
Springer
13 years 11 months ago
Practical Exception Specifications
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
Donna Malayeri, Jonathan Aldrich
APIN
2000
155views more  APIN 2000»
13 years 7 months ago
Defeasible Logic on an Embedded Microcontroller
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
Michael A. Covington
AIPS
2006
13 years 9 months ago
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning
We present a new algorithm for conformant probabilistic planning, which for a given horizon produces a plan that maximizes the probability of success under quantified uncertainty ...
Jinbo Huang