537 search results - page 36 / 108 » tools 1999 |
140
click to vote
ELPUB
1999
ACM
15 years 2 months ago
1999
ACM
The state-of-the-art of electronic publishing in science and its nearest perspectives with the emphasis on technical issues are discussed. The discussion is based on the real-life...
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 2 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
ISPD
1999
ACM
15 years 2 months ago
1999
ACM
We review the implications of subwavelength optical lithography for new tools and ows in the interface between layout design and manufacturability. After discussing the necessity ...
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
ECBS
1999
IEEE
15 years 2 months ago
1999
IEEE
An information model supporting core systems engineering design data is presented. The model provides, in conjunction with STEP (ISO 10303) framework services, an infrastructure t...