2736 search results - page 169 / 548 » Implementable allocation rules |
129
Voted
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
IPL
2006
15 years 29 days ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
125
Voted
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
110
Voted
CVPR
2003
IEEE
16 years 3 months ago
2003
IEEE
In this paper, we describe an algorithm called Fast Marching Watersheds that segments a triangle mesh into visual parts. This computer vision algorithm leverages a human vision th...
106
click to vote
CADE
2009
Springer
16 years 1 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 ...