1821 search results - page 120 / 365 » Security-Aware Program Transformations |
SPE
2008
13 years 9 months ago
2008
raction; Industrial Experiment Martin Ward, , Hussein Zedan
PRL
2002
13 years 8 months ago
2002
We extend the velocity Hough transform (VHT) for tracking objects with arbitrary velocity by
CADE
2009
Springer
14 years 9 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 ...
AFP
2008
Springer
14 years 3 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...