Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 127 matches
- 1991
- Filip Van Aelten, Jonathan Allen, Srinivas Devadas:
Verification of Relations Between Synchronous Machines. ICCAD 1991: 380-383 - Imtiaz Ahmad, C. Y. Roger Chen:
Post-Processor for Data Path Synthesis Using Multiport Memories. ICCAD 1991: 276-279 - Vladimir Castro Alves, Michael Nicolaidis, P. Lestrat, Bernard Courtois:
Built-In Self-Test for Multi-Port RAMs. ICCAD 1991: 248-251 - Kurt Antreich, Helmut E. Graeb:
Circuit Optimization Driven by Worst-Case Distances. ICCAD 1991: 166-169 - H. M. A. M. Arts, Jos T. J. van Eijndhoven, Leon Stok:
Flexible Block-Multiplier Generation. ICCAD 1991: 106-109 - Edgar Auer, Werner L. Schiele, Georg Sigl:
A New Linear Placement Algorithm for Cell Generation. ICCAD 1991: 486-489 - David Bedrosian, Jirí Vlach:
An Accelerated Steady-State Method for Networks with Internally Controlled Switches. ICCAD 1991: 24-27 - Keisuke Bekki, Tohru Nagai, Nobuhiro Hamada, Tsuguo Shimizu, Noriharu Hiratsuka, Kazumasa Shima:
An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. ICCAD 1991: 422-425 - Reinaldo A. Bergamaschi:
The Effects of False Paths in High-Level Synthesis. ICCAD 1991: 80-83 - David Binger, David Knapp:
Encoding Multiple Outputs for Improved Column Compaction. ICCAD 1991: 230-233 - Jay B. Brockman, Stephen W. Director:
The Hercules CAD Task Management System. ICCAD 1991: 254-257 - Randal E. Bryant:
Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis. ICCAD 1991: 350-353 - Yang Cai, D. F. Wong:
Minimizing Channel Density by Shifting Blocks and Terminals. ICCAD 1991: 524-527 - Keh-Jeng Chang, Soo-Young Oh, Ken Lee:
HIVE: An Efficient Interconnect Capacitance Extractor to Support Submicron Multilevel Interconnect Designs. ICCAD 1991: 294-297 - Chien-In Henry Chen:
BISTSYN - A Built-In Self-Test Synthesizer. ICCAD 1991: 240-243 - Hsi-Chuan Chen, David Hung-Chang Du:
Path Sensitization in Critical Path Problem. ICCAD 1991: 208-211 - Chun-Jung Chen, Jyuo-Min Shyu, Wu-Shiung Feng:
Transient Sensitivity Computation for Waveform Relaxation Based Timing Simulation. ICCAD 1991: 120-123 - Chung-Hsing Chen, Chienwen Wu, Daniel G. Saab:
BETA: Behavioral Testability Analysis. ICCAD 1991: 202-205 - Kwang-Ting Cheng:
An ATPG-Based Approach to Sequential Logic Optimization. ICCAD 1991: 372-375 - Vivek Chickermane, Janak H. Patel:
A Fault Oriented Partial Scan Design Approach. ICCAD 1991: 400-403 - Sang-Gil Choi, Chong-Min Kyung:
A Floorplanning Algorithm Using Rectangular Voronoi Diagram and Force-Directed Block Shaping. ICCAD 1991: 56-59 - Moon-Jung Chung, Sangchul Kim:
The Configuration Management for Version Control in an Object-Oriented VHDL Design Environment. ICCAD 1991: 258-261 - Amnon Baron Cohen, Michael Shechory:
Track Assignment in the Pathway Datapath Layout Assembler. ICCAD 1991: 102-105 - John M. Cohn, David J. Garrod, Rob A. Rutenbar, L. Richard Carley:
Techniques for Simultaneous Placement and Routing of Custom Analog Cells in KOAN/ANAGRAM II. ICCAD 1991: 394-397 - Warren H. Debany Jr., Carlos R. P. Hartmann, Pramod K. Varshney, Kishan G. Mehrotra:
Comparison of Random Test Vector Generation Strategies. ICCAD 1991: 244-247 - Francis Depuydt, Gert Goossens, Hugo De Man:
Clustering Techniques for Register Optimization During Scheduling Preprocessing. ICCAD 1991: 280-283 - Srinivas Devadas, Kurt Keutzer, Sharad Malik:
Delay Computation in Combinational Logic Circuits: Theory and Algorithms. ICCAD 1991: 176-179 - Christopher Duff, Gabriele Saucier:
State Assignment Based on the Reduced Dependency Theory and Recent Experimental Results. ICCAD 1991: 222-225 - Gerben Essink, Emile H. L. Aarts, R. van Dongen, Piet J. van Gerwen, Jan H. M. Korst, Kees A. Vissers:
Scheduling in Programmable Video Signal Processors. ICCAD 1991: 284-287 - Peter Feldmann, Stephen W. Director:
Improved Methods for IC Yield and Quality Optimization Using Surface Integrals. ICCAD 1991: 158-161
skipping 97 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-19 05:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint