1497 search results - page 100 / 300 » Extended static checking |
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
SFP
2000
13 years 11 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
TIP
1998
13 years 9 months ago
1998
— In this correspondence, we present a general recursive approach for image segmentation by extending Otsu’s method. The new approach has been implemented in the scope of docum...
CASES
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents a highly predictable, low overhead and yet dynamic, memory allocation strategy for embedded systems with scratch-pad memory. A scratch-pad is a fast compiler-m...
CVPR
1997
IEEE
15 years 5 days ago
1997
IEEE
We propose a new machine learning paradigm called Graph Transformer Networks that extends the applicability of gradient-based learning algorithms to systems composed of modules th...