Arts and humanities

skip to main content

Advanced Search
Browse
About
- Sign in
- Register

Advanced Search
Journals
Magazines
Proceedings
Books
SIGs
Conferences
People
More

Search ACM Digital Library

Arts and humanities Results

Search

Advanced Search

Applied Filters

Arts and humanities
DAC '93: Proceedings of the 30th international Design Automation ConferenceRemove filter

People

Names

Hilary J Kahn (2)
Carl Henry Carl Ebeling (1)
Cristian A Giumale (1)
Edmund Melson Clarke, Jr. (1)
Eka N Ginting (1)
Emil F Girczyc (1)
John A Darringer (1)
Kenneth Lauchlin McMillan (1)
Kenneth W Wan (1)
Mário J. Silva (1)
Masahiro Fujita (1)
Peter Richard Sutton (1)
Régis Leveugle (1)
Rachel Y W Lau (1)
Randy Katz (1)
Ron Collett (1)
Stephen W Director (1)
Taiyu Chou (1)
Xudong Zhao (1)
Zoltan J Cendes (1)

Institutions

Nokia Bell Labs (1)

Authors

Hilary J Kahn (2)
Benoit A Gennart (1)
Carl Henry Carl Ebeling (1)
Cristian A Giumale (1)
Edmund Melson Clarke, Jr. (1)
Eka N Ginting (1)
Emil F Girczyc (1)
Jay Cosentino (1)
Kenneth Lauchlin McMillan (1)
Kenneth W Wan (1)
Mário J. Silva (1)
Masahiro Fujita (1)
Peter Richard Sutton (1)
Régis Leveugle (1)
Rachel Y W Lau (1)
Randy Katz (1)
Stephen W Director (1)
Taiyu Chou (1)
Xudong Zhao (1)
Zoltan J Cendes (1)

Publications

Proceedings/Book Names

DAC '93: Proceedings of the 30th international Design Automation Conference (20)

All Publications

Proceedings (20)

Media Formats

PDF (19)
Image (1)

Publisher

Association for Computing Machinery (20)

Conferences

Sponsors

EDAC (20)
IEEE-CAS (20)
SIGDA (20)

Conference Event

DAC93 (20)

Proceedings Series

DAC: Design Automation Conference (20)

Publication Date

Upon changing this filter the page will automatically refresh

Export Citations

Selected
All Results

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

20 Results for: Book/Issue: DAC '93: Proceedings of the 30th international Design Automation ConferenceEdit SearchSave SearchFailed to save your search, try again laterSearch has been saved (My Saved Searches)RSS

Save this search

Please login to be able to save your searches and receive alerts for new content matching your search criteria.

Searched The ACM Guide to Computing Literature (3,802,497 records)|Limit your search to The ACM Full-Text Collection (772,006 records)

Results

Showing 1 - 20of20 Results

Select All

Export Citations Save to Binder

Save to Binder

Create a New Binder

Name

per page:

10
20
50

Sort by: Recency

Earliest
Latest
Downloaded
Cited

Article
Free
July 1993
Where in the world should CAD software be made? (panel)
- John Darringer
DAC '93: Proceedings of the 30th international Design Automation ConferencePage 742https://doi.org/10.1145/157485.165114
0
144
Metrics
Total Citations0
Total Downloads144
Last 12 Months27
Last 6 weeks3
View online with eReader
PDF
Article
Free
July 1993
The state of EDA in Russian universities
- Valery M. Mikhov
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 716–719https://doi.org/10.1145/157485.165105
0
197
Metrics
Total Citations0
Total Downloads197
Last 12 Months13
Last 6 weeks0
View online with eReader
PDF
Article
Free
July 1993
The state of simulation in Russia
- Alexander Birger
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 712–715https://doi.org/10.1145/157485.165103
0
173
Metrics
Total Citations0
Total Downloads173
Last 12 Months38
Last 6 weeks3
View online with eReader
PDF
Article
Free
July 1993
The state of VHDL in Russia
- Yuri Tatarnikov
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 709–711https://doi.org/10.1145/157485.165102
1
196
Metrics
Total Citations1
Total Downloads196
Last 12 Months13
Last 6 weeks3
View online with eReader
PDF
Article
Free
July 1993
The state of CAD and VLSI in Russia
- Valery Yarnikh
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 707–708https://doi.org/10.1145/157485.165100
0
157
Metrics
Total Citations0
Total Downloads157
Last 12 Months7
Last 6 weeks0
View online with eReader
PDF
Article
Free
July 1993
High-speed interconnect modeling and high-accuracy simulation using SPICE and finite element methods
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 684–690https://doi.org/10.1145/157485.165091
12
442
Metrics
Total Citations12
Total Downloads442
Last 12 Months44
Last 6 weeks6
View online with eReader
PDF
Article
Free
July 1993
An information model of time
- Cristian A Giumale,
- Hilary J. Kahn
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 668–672https://doi.org/10.1145/157485.165087
4
386
Metrics
Total Citations4
Total Downloads386
Last 12 Months210
Last 6 weeks72
View online with eReader
PDF
Article
Free
July 1993
Active documentation: a new interface for VLSI design
- Mário J. Silva,
- Randy H. Katz
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 654–660https://doi.org/10.1145/157485.165083
5
302
Metrics
Total Citations5
Total Downloads302
Last 12 Months25
Last 6 weeks5
View online with eReader
PDF
Article
Free
July 1993
Design management using dynamically defined flows
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 648–653https://doi.org/10.1145/157485.165080
16
279
Metrics
Total Citations16
Total Downloads279
Last 12 Months27
Last 6 weeks2
View online with eReader
PDF
Article
Free
July 1993
Multi-vendor tool integration experiences (panel)
- Ron Collett
DAC '93: Proceedings of the 30th international Design Automation ConferencePage 617https://doi.org/10.1145/157485.165068
0
123
Metrics
Total Citations0
Total Downloads123
Last 12 Months17
Last 6 weeks2
View online with eReader
PDF
Article
Free
July 1993
Military to commercial conversion (panel): is it necessary, is it practical, is it possible?
- Michael McFarland
DAC '93: Proceedings of the 30th international Design Automation ConferencePage 589https://doi.org/10.1145/157485.165056
0
133
Metrics
Total Citations0
Total Downloads133
Last 12 Months33
Last 6 weeks3
View online with eReader
PDF
Article
Free
July 1993
ABLE: AMD backplane for layout engines
- Kenneth W. Wan,
- Roshan A. Gidwani
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 556–560https://doi.org/10.1145/157485.165034
0
178
Metrics
Total Citations0
Total Downloads178
Last 12 Months31
Last 6 weeks7
View online with eReader
PDF
Article
Free
July 1993
Linking BDD-based symbolic evaluation to interactive theorem-proving
- Jeffrey J. Joyce,
- Carl-Johan H. Seger
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 469–474https://doi.org/10.1145/157485.164981
40
259
Metrics
Total Citations40
Total Downloads259
Last 12 Months9
Last 6 weeks0
View online with eReader
PDF
Article
Free
July 1993
Comparative design validation based on event pattern mappings
- Benoit A. Gennart
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 373–378https://doi.org/10.1145/157485.164936
0
222
Metrics
Total Citations0
Total Downloads222
Last 12 Months35
Last 6 weeks5
View online with eReader
PDF
Article
Free
July 1993
Information modelling of EDIF
- Rachel Y. W. Lau,
- Hilary J. Kahn
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 278–283https://doi.org/10.1145/157485.164892
2
295
Metrics
Total Citations2
Total Downloads295
Last 12 Months16
Last 6 weeks0
View online with eReader
PDF
Article
Free
July 1993
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 54–60https://doi.org/10.1145/157485.164569
203
607
Metrics
Total Citations203
Total Downloads607
Last 12 Months64
Last 6 weeks4
View online with eReader
PDF
Article
Free
July 1993
Increasing design quality and engineering productivity through design reuse
- Emil Girczyc,
- Steve Carlson
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 48–53https://doi.org/10.1145/157485.164565
59
890
Metrics
Total Citations59
Total Downloads890
Last 12 Months99
Last 6 weeks12
View online with eReader
PDF
Article
Free
July 1993
SubGemini: identifying subcircuits using a fast subgraph isomorphism algorithm
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 31–37https://doi.org/10.1145/157485.164556
91
1,443
Metrics
Total Citations91
Total Downloads1,443
Last 12 Months302
Last 6 weeks37
View online with eReader
PDF
Article
Free
July 1993
Optimized state assignment of single fault tolerant FSMs based on SEC codes
- R. Leveugle
DAC '93: Proceedings of the 30th international Design Automation ConferencePages 14–18https://doi.org/10.1145/157485.164552
12
295
Metrics
Total Citations12
Total Downloads295
Last 12 Months46
Last 6 weeks6
View online with eReader
PDF
proceeding
July 1993
DAC '93: Proceedings of the 30th international Design Automation Conference
- Alfred E. Dunlop
4,715
59,706
Metrics
Total Citations4,715
Total Downloads59,706
Last 12 Months9,759
Last 6 weeks1,235

Footer

Categories

Journals
Magazines
Books
Proceedings
SIGs
Conferences
Collections
People

About

About ACM Digital Library
ACM Digital Library Board
Subscription Information
Author Guidelines
Using ACM Digital Library
All Holdings within the ACM Digital Library
ACM Computing Classification System
Accessibility Statement

Join

Join ACM
Join SIGs
Subscribe to Publications
Institutions and Libraries

Connect

Contact us via email
ACM on Facebook
ACM DL on X
ACM on Linkedin
Send Feedback
Submit a Bug Report

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2024 ACM, Inc.

Terms of Usage
Privacy Policy
Code of Ethics

Your Search Results Download Request

We are preparing your search results for download ...

We will inform you here when the file is ready.

Your Search Results Download Request

Your file of search results citations is now ready.

Your Search Results Download Request

Your search export query has expired. Please try again.