1995 search results - page 322 / 399 » The Chemical Abstract Machine |
ESOP
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Sparse matrix-vector multiplication is an important computational kernel that tends to perform poorly on modern processors, largely because of its high ratio of memory op...
PAKDD
2001
ACM
14 years 2 months ago
2001
ACM
Abstract. The standardized visual field assessment, which measures visual function in 76 locations of the central visual area, is an important diagnostic tool in the treatment of ...
WOMPAT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The recent parallel language standard for shared memory multiprocessor (SMP) machines, OpenMP, promises a simple and portable interface for programmers who wish to exploi...
KBSE
2000
IEEE
14 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...