1151 search results - page 98 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
202
Voted
MOBILIGHT
2010
15 years 2 months ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...
124
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Proteins crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the three-dimensional arrangement of the constituent amino acids...
140
click to vote
DATE
2005
IEEE
15 years 9 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...
105
click to vote
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
148
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...