Остановите войну!
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 123 matches
- 1994
- Syed A. Aftab, M. A. Styblinski:
A new efficient approach to statistical delay modeling of CMOS digital combinational circuits. ICCAD 1994: 200-203 - Mazhar Alidina, José Monteiro, Srinivas Devadas, Abhijit Ghosh, Marios C. Papaefthymiou:
Precomputation-based sequential logic optimization for low power. ICCAD 1994: 74-81 - Charles J. Alpert, Andrew B. Kahng:
A general framework for vertex orderings, with applications to netlist clustering. ICCAD 1994: 63-67 - Joachim Altmeyer, Stefan Ohnsorge, Bernd Schürmann:
Reuse of design objects in CAD frameworks. ICCAD 1994: 754-761 - Karim Arabi, Bozena Kaminska, Janusz Rzeszut:
A new built-in self-test approach for digital-to-analog and analog-to-digital converters. ICCAD 1994: 491-494 - Pranav Ashar, Matthew Cheong:
Efficient breadth-first manipulation of binary decision diagrams. ICCAD 1994: 622-627 - R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi:
A symbolic method to reduce power consumption of circuits containing false paths. ICCAD 1994: 368-371 - Smita Bakshi, Daniel D. Gajski:
Design exploration for high-performance pipelines. ICCAD 1994: 312-316 - Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
Iterative algorithms for formal verification of embedded real-time systems. ICCAD 1994: 450-457 - Florin Balasa, Francky Catthoor, Hugo De Man:
Dataflow-driven memory allocation for multi-dimensional signal processing systems. ICCAD 1994: 31-34 - Michel R. C. M. Berkelaar, Pim H. W. Buurman, Jochen A. G. Jess:
Computing the entire active area/power consumption versus delay trade-off curve for gate sizing with a piecewise linear simulator. ICCAD 1994: 474-480 - Subhrajit Bhattacharya, Sujit Dey, Franc Brglez:
Provably correct high-level timing analysis without path sensitization. ICCAD 1994: 736-742 - Vamsi Boppana, W. Kent Fuchs:
Fault dictionary compaction by output sequence removal. ICCAD 1994: 576-579 - Daniel Brand, Anthony D. Drumm, Sandip Kundu, Prakash Narain:
Incremental synthesis. ICCAD 1994: 14-18 - Timothy M. Burks, Karem A. Sakallah:
Optimization of critical paths in circuits with level-sensitive latches. ICCAD 1994: 468-473 - Ney Laert Vilar Calazans:
Boolean constrained encoding: a new formulation and a case study. ICCAD 1994: 702-706 - Shih-Chieh Chang, Malgorzata Marek-Sadowska:
Perturb and simplify: multi-level boolean network optimizer. ICCAD 1994: 2-5 - Yao-Wen Chang, Shashidhar Thakur, Kai Zhu, D. F. Wong:
A new global routing algorithm for FPGAs. ICCAD 1994: 356-361 - Kai-Yuan Chao, D. F. Wong:
Layer assignment for high-performance multi-chip modules. ICCAD 1994: 680-685 - Abhijit Chatterjee, Jacob A. Abraham:
RAFT191486: a novel program for rapid-fire test and diagnosis of digital logic for marginal delays and delay faults. ICCAD 1994: 340-343 - Chih-Liang Eric Cheng:
RISA: accurate and efficient placement routability modeling. ICCAD 1994: 690-695 - Chen-Huan Chiang, Sandeep K. Gupta:
Random pattern testable logic synthesis. ICCAD 1994: 125-128 - Tan-Li Chou, Kaushik Roy, Sharat Prasad:
Estimation of circuit activity considering signal correlations and simultaneous switching. ICCAD 1994: 300-303 - Weitong Chuang, Ibrahim N. Hajj:
Delay and area optimization for compact placement by gate resizing and relocation. ICCAD 1994: 145-148 - Jae Chung, Chung-Kuan Cheng:
Skew sensitivity minimization of buffered clock tree. ICCAD 1994: 280-283 - Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints. ICCAD 1994: 175-181 - Jason Cong, Cheng-Kok Koh:
Simultaneous driver and wire sizing for performance and power optimization. ICCAD 1994: 206-212 - Jason Cong, Wilburt Labio, Narayanan Shivakumar:
Multi-way VLSI circuit partitioning based on dual net representation. ICCAD 1994: 56-62 - Alper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli:
Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. ICCAD 1994: 598-603 - Giri Devarayanadurg, Mani Soma:
Analytical fault modeling and static test generation for analog ICs. ICCAD 1994: 44-47
skipping 93 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-05-25 08:24 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