16190 search results - page 382 / 3238 » Applicative programming with effects |
164
click to vote
ASPLOS
1996
ACM
15 years 9 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
142
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
111
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A lot of image analysis problems lend themselves to a unified mathematical formulation as optimization problems. Tree-serial dynamic programming is a particular case of the so-cal...
119
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
124
click to vote
DRMTICS
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...