13841 search results - page 2478 / 2769 » Algorithms and Constraint Programming |
143
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
131
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
145
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
– Reducing power consumption through high-level synthesis has attracted a growing interest from researchers due to its large potential for power reduction. In this work we study ...
128
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
In recent years, exciting technological advances have been made in development of flexible electronics. These technologies offer the opportunity to weave computation, communicat...
129
click to vote
SBCCI
2005
ACM
15 years 9 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...