647 search results - page 41 / 130 » Generation of BDDs from hardware algorithm descriptions |
CAISE
2009
Springer
13 years 12 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
As CMOS devices are scaled down into the nanometer regime, concerns about reliability are mounting. Instead of viewing nanoscale characteristics as an impediment, technologies suc...
IEAAIE
1998
Springer
14 years 3 days ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
SIBGRAPI
1999
IEEE
14 years 5 days ago
1999
IEEE
This paper describes a real-time shadow generation algorithm for polygonal environments illuminated by movable point light sources. The main goal is to quickly reduce the number o...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
This work studies the optimality and stability of timing-driven placement algorithms. The contributions of this work include two parts: 1) We develop an algorithm for generating s...