214 search results - page 18 / 43 » Automatic Correction of Loop Transformations |
118
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
105
click to vote
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper describes a classification system discriminating male and female brains from morphometric features of cortical sulci. This system is tested on a database of 143 brains,...
111
Voted
DICTA
2003
15 years 1 months ago
2003
In this paper, we propose an automatic detection method of the areas damaged by an earthquake. We use aerial images that are taken before and after the earthquake. To detect the da...
ENTCS
2006
15 years 14 days ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
DOCENG
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...