1914 search results - page 53 / 383 » Abstract lambda-Calculus Machines |
FMICS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
EUROGP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
SBIA
2000
Springer
15 years 1 months ago
2000
Springer
Abstract Classi
ANOR
2008
14 years 10 months ago
2008
Abstract We consider the following scheduling setting: a set of
IJCSS
2000
14 years 9 months ago
2000
Abstract. During the machining process of a complex rotating pro