757 search results - page 46 / 152 » clear 2007 |
SCAM
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a robust invariant descriptor for symbol-based image recognition and retrieval. A modified Hough-based Transform is used to extract parameter space informatio...
107
click to vote
SIES
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
VLSID
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we demonstrate the impact of the floorplan on the temperature-dependent leakage power of a System on Chip (SoC). We propose a novel system level temperature aware a...
VLSID
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, research and development in the field of machine learning and classification techniques have gained paramount importance. The future generation of intelligent e...