1585 search results - page 52 / 317 » A framework for computer-aided validation |
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a novel Energy-Aware Compilation (EAC) framework that can estimate and optimize energy consumption of a given code taking as input the architectural and techno...
CODES
1994
IEEE
15 years 4 months ago
1994
IEEE
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
DICTA
2007
15 years 1 months ago
2007
Current research on shape based classification has been generally aimed at utilising various visual features. Previous research has shown that the existing knowledge in a specific...
JSA
2006
14 years 11 months ago
2006
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...