18 search results - page 2 / 4 » Estimating the Cost of Native Method Calls for Resource-boun... |
ESOP
2006
Springer
13 years 9 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
CP
2005
Springer
13 years 11 months ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
PLDI
1996
ACM
13 years 9 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
DAGSTUHL
2004
13 years 6 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
DAS
2010
Springer
13 years 9 months ago
2010
Springer
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...