1151 search results - page 14 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
GLOBECOM
2007
IEEE
13 years 11 months ago
2007
IEEE
Accurate and systematic channel simulation technique is critical for performance verification of digital transceiver design over wireless channels. Despite the abundant results on ...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
AH
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
DATE
2000
IEEE
13 years 12 months ago
2000
IEEE
Previous researchers have suggested the use of “lighthouses” to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manuall...
CG
2006
Springer
13 years 7 months ago
2006
Springer
The investigation of molecular structures often requires the use of graphics software to display different representations of the molecule of interest. Unfortunately, the commonly...