1379 search results - page 169 / 276 » codes 2009 |
141
click to vote
FMICS
2009
Springer
15 years 7 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
Voted
FOSAD
2009
Springer
15 years 7 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
143
click to vote
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
Cloud computing environments allow customers to execute arbitrary code on hardware owned by a cloud provider. While cloud providers use virtualization to ensure isolation between ...
144
click to vote
ACMIDC
2009
15 years 7 months ago
2009
We propose simple tangible language elements for very young children to use when constructing programmes. The equivalent Turtle Talk instructions are given for comparison. Two exa...
141
click to vote
DGCI
2009
Springer
15 years 7 months ago
2009
Springer
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...