1914 search results - page 53 / 383 » Abstract lambda-Calculus Machines |
118
click to vote
FMICS
2009
Springer
15 years 5 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...
120
click to vote
EUROGP
2008
Springer
15 years 3 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 5 months ago
2000
Springer
Abstract Classi
ANOR
2008
15 years 1 months ago
2008
Abstract We consider the following scheduling setting: a set of
102
click to vote
IJCSS
2000
15 years 1 months ago
2000
Abstract. During the machining process of a complex rotating pro