The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase speed-independent (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1961-1989 (17) 1991-1995 (24) 1996-1997 (17) 1998-1999 (17) 2000-2004 (22) 2005-2009 (16) 2010-2017 (16) 2018-2023 (7)
Publication types (Num. hits)
article(30) book(1) inproceedings(103) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 142 occurrences of 94 keywords

Results
Found 136 publication records. Showing 136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
51N. M. Goubareni Simulation of Chaotic Iterative Processes in Speed-Independent Computing Networks. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF chaotic iterative process simulation, speed-independent computing, mathematical simulation, self organizing chaotic processes, asynchronous method, chaotic relaxations, chaotic computing processes, time parameters, Dirichlet problem, rectangular domain, virtual machines, delay, convergence, convergence, multiprocessor interconnection networks, iterative methods, error analysis, errors, Monte Carlo methods, Monte-Carlo method, computer simulation, normal distribution, normal distribution, boundary-value problems, Laplace transforms, random variable, Laplace equation
45Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF isochronic forks, speed independent circuits (SICs), Asynchronous circuits, signal transition graphs (STGs), hazards
43Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev Decomposition and technology mapping of speed-independent circuits using Boolean relations. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Boolean decomposition, decomposed logic sharing, design library, library matching, logic decomposition, logic resynthesis, signal insertion, two-input combinational gate, two-input sequential gate, optimization, technology mapping, circuit CAD, speed-independent circuits, netlist, complex gates, Boolean relations
41Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF combinational decomposition, sequential decomposition, monotonous cover, signal insertion, factorization, hazards, resynthesis, Speed-independent circuit
40Ravishankar Rao, Sarma B. K. Vrudhula Energy-Optimal Speed Control of a Generic Device. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Enric Pastor, Jordi Cortadella, Oriol Roig A new look at the conditions for the synthesis of speed-independent circuits. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF gate-level synthesis, gate library constraint, fan-in reduction, VLSI, logic design, logic CAD, integrated circuit design, circuit CAD, integrated logic circuits, circuit optimisation, optimization techniques, speed-independent circuits
37Tomohiro Yoneda, Hiroomi Onda, Chris J. Myers Synthesis of Speed Independent Circuits Based on Decomposition. Search on Bibsonomy ASYNC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstraction, synthesis, Decomposition, STGs, speed-independent circuits
37Feng Shi 0010, Yiorgos Makris Fault simulation and random test generation for speed-independent circuits. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF random test pattern generation, fault simulation, asynchronous circuits, speed-independent circuits
37Sung-Bum Park, Takashi Nanya Automatic Synthesis of Speed-Independent Circuits from Signal Transition Graph Specifications. Search on Bibsonomy VLSI Design The full citation details ... 1996 DBLP  DOI  BibTeX  RDF astnchronous design, logic synthesis, signal transition graph, speed-independent circuits
37Oriol Roig, Jordi Cortadella, Enric Pastor Hierarchical gate-level verification of speed-independent circuits. Search on Bibsonomy ASYNC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical gate-level verification, state signals, computational complexity, logic testing, time complexity, asynchronous circuits, speed-independent circuits, complex gates
32Duarte Lopes de Oliveira, Marius Strum, Jiang Chau Wang Miriã_SI: a tool for the synthesis of speed-independent multi burst-mode controllers. Search on Bibsonomy SBCCI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF burst-mode, automatic synthesis, hazard, asynchronous logic, speed-independent
32Giacomo Cioffi Autotesting Speed-Independent Sequential Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1978 DBLP  DOI  BibTeX  RDF speed-independent network, Autotesting, sequential network, modular, machine, self-synchronizing, fail safe
26Radu Negulescu, Ad M. G. Peeters Verification of Speed-Dependences in Single-Rail Handshake Circuits. Search on Bibsonomy ASYNC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF single-rail, isochronic forks, verification, timing, asynchronous circuits, progress, speed-independent circuits, process spaces, handshake circuits
25William B. Toms, David A. Edwards Efficient synthesis of speed-independent combinational logic circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Juha Plosila, Kaisa Sere Action Systems in Pipelined Processor Design. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
24Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov Designing an asynchronous pipeline token ring interface. Search on Bibsonomy ASYNC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF asynchronous pipeline token ring interface, speed-independent interface, reliable communication medium, on-board multicomputer, asynchronous buses, point-to-point interconnections, syntax-driven implementation, channel protocol controller, protocols, fairness, multiprocessor interconnection networks, local area networks, pipeline processing, deadlock-freedom, token networks
23Peter A. Beerel, Cheng-Ta Hsieh, Suhrid A. Wadekar Estimation of energy consumption in speed-independent control circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev Decomposition and technology mapping of speed-independent circuits using Boolean relations. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Feng Shi 0010, Yiorgos Makris SPIN-TEST: automatic test pattern generation for speed-independent circuits. Search on Bibsonomy ICCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Alexander Katkov, Janusz Szopa Chaotic Processing in Parallel Speed Independent Architectures. Search on Bibsonomy PARELEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel Hazard-Freedom Checking in Speed-Independent Systems. Search on Bibsonomy CHARME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Peter A. Beerel, Chris J. Myers, Teresa H. Meng Covering conditions and algorithms for the synthesis of speed-independent circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev Hazard-free implementation of speed-independent circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
20Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski STG Decomposition: Internal Communication for SI Implementability. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF CSC, decomposition, STG, resynthesis, speed independent
20Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev Flat Arbiters. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Asynchronous circuits, Signal Transition Graph (STG), Arbiters, Speed-independent circuits
20Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko Strategies for Optimised STG Decomposition. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Petri net, decomposition, Asynchronous circuit, STG, speed-independent
20Mohamed Kawokgy, C. André T. Salama Low-power asynchronous viterbi decoder for wireless applications. Search on Bibsonomy ISLPED The full citation details ... 2004 DBLP  DOI  BibTeX  RDF bundled-data, four-phase, low-power, synchronous, wireless, VHDL, digital signal processing, asynchronous, register transfer level, viterbi algorithm, speed-independent, handshaking protocol
20Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1997 DBLP  DOI  BibTeX  RDF formal program transformation, self-timed logic, signal transition graphs (STG), speed independent circuits, guarded commands, delay insensitive circuits, Asynchronous sequential circuits
19Feng Shi 0010, Yiorgos Makris SPIN-PAC: test compaction for speed-independent circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Shaohua Chen, Gang Liu 0017, Lianqing Zhu Sensorless Control Strategy of a 315 kW High-Speed BLDC Motor Based on a Speed-Independent Flux Linkage Function. Search on Bibsonomy IEEE Trans. Ind. Electron. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
17Feng Shi 0010, Yiorgos Makris SPIN-SIM: Logic and Fault Simulation for Speed-Independent Circuits. Search on Bibsonomy ITC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Artur Pereira, Antonio Rui Borges, Antonio B. Ferrari Exclusion Relation of k Out of n and the Synthesis of Speed-Independent Circuits. Search on Bibsonomy SBCCI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig Structural methods for the synthesis of speed-independent circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
17Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev A region-based theory for state assignment in speed-independent circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
17Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno Partial order based approach to synthesis of speed-independent circuits. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF approximation, synthesis, asynchronous circuits, unfolding, Signal Transition Graph
17Polly Siegel, Giovanni De Micheli Decomposition methods for library binding of speed-independent asynchronous designs. Search on Bibsonomy ICCAD The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
13Jerry R. Burch Combining CTL, Trace Theory and Timing Models. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
12Florian Huemer, Robert Najvirt, Andreas Steininger On SAT-Based Model Checking of Speed-Independent Circuits. Search on Bibsonomy DDECS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
12Xiao-Gang Wang 0003, Qing Kang, Xiaohong Chen, Qinghua Fu, Peng Wang A Temperature-Domain SEBAL Model Based on a Wind Speed-Independent Theoretical Trapezoidal Space Between Fractional Vegetation Coverage and Land Surface Temperature. Search on Bibsonomy IEEE Geosci. Remote. Sens. Lett. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Mriganka Ghosh Majumder, Rakesh R, Mohammed Imthias, K. Gopakumar 0001, Loganathan Umanand, Wojciech Jarzyna Extending the Linear Modulation Range to Full Base Speed Independent of Load Power Factor for a Multilevel Inverter Fed IM Drive. Search on Bibsonomy IEEE Trans. Ind. Electron. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
12Danil Sokolov, Victor Khomenko, Alex Yakovlev, David Lloyd Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft. Search on Bibsonomy ASYNC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Fengtian Lv, Haibo Gao, Yumeng Bai, Nan Li, Liang Ding 0001, Ruyi Zhou, Zongquan Deng, Guangjun Liu Extraction of Speed-Independent Vibration Features for Terrain Classification in Lugged-Wheel Rovers. Search on Bibsonomy ROBIO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Rob van Glabbeek Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk). Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
12Ru Ma, Junqiang Li, Shanhai Jin, Shijie Guo, Kazunobu Hashimoto, Shijie Dai A speed-independent feedback index for walking pattern recognition for a walking assistive robotic suit. Search on Bibsonomy CIS/RAM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
12Aparna S. Raghunath, K. T. Sreekumar, C. Santhosh Kumar, K. I. Ramachandran Improving Speed Independent Performance of Fault Diagnosis Systems through Feature Mapping and Normalization. Search on Bibsonomy ICMLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Yuri Stepchenkov, Victor N. Zakharov, Yuri Rogdestvenski, Yuri Diachenko, Nickolaj Morozov, Dmitri Stepchenkov Speed-independent fused multiply add and subtract unit. Search on Bibsonomy EWDTS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
12Pradeep Kumar Biswal, K. Mishra, Santosh Biswas, Hemangee K. Kapoor A Discrete Event System Approach to Online Testing of Speed Independent Circuits. Search on Bibsonomy VLSI Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Y. A. Stepchenkov, Victor N. Zakharov, Y. G. Diachenko, N. V. Morozov, D. Y. Stepchenkov Cell library for speed-independent VLSI. Search on Bibsonomy EWDTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Y. A. Stepchenkov, Victor N. Zakharov, Y. V. Rogdestvenski, Y. G. Diachenko, N. V. Morozov, D. Y. Stepchenkov Speed-independent floating point coprocessor. Search on Bibsonomy EWDTS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd Design and Verification of Speed-Independent Multiphase Buck Controller. Search on Bibsonomy ASYNC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
12Gonzalo Bailador del Pozo, Carmen Sánchez Ávila, Alberto de Santos Sierra, Javier Guerra Casanova Speed-Independent Gait Identification for Mobile Devices. Search on Bibsonomy Int. J. Pattern Recognit. Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
12Shifeng Wang, Rami N. Khushaba, Sarath Kodagoda Towards speed-independent road-type classification. Search on Bibsonomy ICARCV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
12Dominic Wist, M. Schaefer, Walter Vogler, Ralf Wollowski Signal transition graph decomposition: internal communication for speed independent circuit implementation. Search on Bibsonomy IET Comput. Digit. Tech. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Eric Coyle, Emmanuel G. Collins Jr., Rodney G. Roberts Speed independent terrain classification using Singular Value Decomposition Interpolation. Search on Bibsonomy ICRA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Yu Li, Terrence S. T. Mak, Alex Yakovlev Redressing timing issues for speed-independent circuits in deep submicron age. Search on Bibsonomy DATE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
12Aleksandr Katkow, Agnieszka Ulfik Nature Inspired Arithmetic in Speed Independent Circuit. Search on Bibsonomy FCS The full citation details ... 2010 DBLP  BibTeX  RDF
12Ondrej Gallo, Tomás Necas, Fedor Lehocki A Tool for the Synthesis of Asynchronous Speed-Independent Circuits. Search on Bibsonomy ACSD/Petri Nets Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
12Sean Keller, Michael Katelman, Alain J. Martin A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits. Search on Bibsonomy ASYNC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
12Igor Lemberski Avoiding Hazards for Speed-Independent Logic Design. Search on Bibsonomy World Congress on Engineering The full citation details ... 2007 DBLP  BibTeX  RDF
12Hiroshi Saito, Hiroshi Nakamura, Masahiro Fujita, Takashi Nanya Logic optimization for asynchronous speed independent controllers using transduction method. Search on Bibsonomy ASP-DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
12Alexander Katkov, Janusz Szopa Distributed Computing in Simulation System with Speed Independent Cooperation. Search on Bibsonomy PDPTA The full citation details ... 2000 DBLP  BibTeX  RDF
12Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev Logic decomposition of speed-independent circuits. Search on Bibsonomy Proc. IEEE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Ren-Der Chen, Jer-Min Jou, Yeu-Horng Shiau An efficient method for the decomposition and resynthesis of speed-independent circuits. Search on Bibsonomy ICECS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Peter A. Beerel, Jerry R. Burch, Teresa H. Meng Checking Combinational Equivalence of Speed-Independent Circuits. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Uisok Kim, Dong-Ik Lee Practical Synthesis of Speed-Independent Circuits Using Unfoldings. Search on Bibsonomy ASP-DAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. Search on Bibsonomy DAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
12Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev Structural Methods for the Synthesis of Speed-Independent Circuits. Search on Bibsonomy ED&TC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
12Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian Dynamic hazards and speed independent delay model. Search on Bibsonomy ASYNC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
12A. Katkov, N. Goubareni Self-Organizing Computational Processes in Networks with Speed Independent Functional Elements. Search on Bibsonomy ESM The full citation details ... 1996 DBLP  BibTeX  RDF
12Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev On hazard-free implementation of speed-independent circuits. Search on Bibsonomy ASP-DAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Peter A. Beerel, Cheng-Ta Hsieh, Suhrid A. Wadekar Estimation of energy consumption in speed-independent control circuits. Search on Bibsonomy ISLPD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Sung Tae Jung, Eun Sei Park, Jung Sik Kim, Chu Shik Jhon Automatic Synthesis of Gate-Level Speed-Independent Control Circuits from Signal Transition Graphs. Search on Bibsonomy ISCAS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
12Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky Analysis and Identification of Speed-Independent Circuits on an Event Model. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Alex Kondratyev, Alexander Taubin Verification of the speed-independent circuits by STG unfoldings. Search on Bibsonomy ASYNC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Peter A. Beerel, Jerry R. Burch, Teresa H.-Y. Meng Sufficient conditions for correct gate-level speed-independent circuits. Search on Bibsonomy ASYNC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Sung Tae Jung, Chu Shik Jhon Direct Synthesis of Efficient Speed-Independent Circuits from Deterministic Signal Transition Graphs. Search on Bibsonomy ISCAS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Alex Kondratyev, Michael Kishinevsky, Bill Lin 0001, Peter Vanbekbergen, Alexandre Yakovlev Basic Gate Implementation of Speed-Independent Circuits. Search on Bibsonomy DAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
12Andrew M. Bailey Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. Search on Bibsonomy CHARME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Peter A. Beerel, Jerry R. Burch, Teresa H.-Y. Meng Efficient verification of determinate speed-independent circuits. Search on Bibsonomy ICCAD The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
12Ruchir Puri, Jun Gu Signal Transition Graph Constraints for Speed-independent Ciruit Synthesis. Search on Bibsonomy ISCAS The full citation details ... 1993 DBLP  BibTeX  RDF
12Peter A. Beerel, Teresa H.-Y. Meng Semi-modularity and testability of speed-independent circuits. Search on Bibsonomy Integr. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
12Yogesh Mishra, Sunil D. Sherlekar, G. Venkatesh 0001 Path breaker: a tool for the optimal design of speed independent asynchronous controllers. Search on Bibsonomy EURO-DAC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
12Peter A. Beerel, Teresa H.-Y. Meng Automatic gate-level synthesis of speed-independent circuits. Search on Bibsonomy ICCAD The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
12Carl-Johan H. Seger On the Existence of Speed-Independent Circuits. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
12David L. Dill Trace theory for automatic hierarchical verification of speed-independent circuits. Search on Bibsonomy 1989   RDF
12Steven M. Nowick, David L. Dill Practicality of state-machine verification of speed-independent circuits. Search on Bibsonomy ICCAD The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12David L. Dill, Steven M. Nowick, Robert F. Sproull Automatic verification of speed-independent circuits with Petri net specifications. Search on Bibsonomy ICCD The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
12H. Sechovsky, S. Jura Asynchronous speed-independent arbiter in a form of a hardware control module. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
12Paolo Corsini Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems. Search on Bibsonomy GI Jahrestagung The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
12Robert M. Keller Towards a Theory of Universal Speed-Independent Modules. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
12David Misunas Petri Nets and Speed Independent Design. Search on Bibsonomy Commun. ACM The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
12Izumi Kimura Space-Continuous Time-Semicontinuous Theory of Speed-Independent Asynchronous Circuits Search on Bibsonomy Inf. Control. The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
12Robert E. Swartwout New techniques for designing speed independent control logic Search on Bibsonomy SWCT The full citation details ... 1964 DBLP  DOI  BibTeX  RDF
12Kenneth E. Batcher Speed-Independent Nor Realizations Search on Bibsonomy 1964   RDF
12Robert E. Swartwout Further Studies in Speed-Independent Logic for a Control Search on Bibsonomy 1963   RDF
12Robert E. Swartwout One method for designing speed independent logic for a control Search on Bibsonomy SWCT The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
12Raymond E. Miller An introduction to speed independent circuit theory Search on Bibsonomy SWCT The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
12D. B. Gillies A flow chart notation for the description of a speed-independent control Search on Bibsonomy SWCT The full citation details ... 1961 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 136 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license