532 search results - page 74 / 107 » A Methodology for Comparative Functional Genomics |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
A comprehensive probabilistic methodology is proposed to solve the buffer insertion problem with the consideration of process variations. In contrast to a recent work, we point o...
83
Voted
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...
82
Voted
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
82
Voted
SAFECOMP
2010
Springer
14 years 7 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
79
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...