|
|
Title | Date | Type | Setname |
| 1 |
 |
13 crazy, notorious things to do in an EM class | 2005-06 | Text | ir_uspace |
| 2 |
 |
3D ray-tracing for intra-vehicle environments | 2009 | Text | ir_uspace |
| 3 |
 |
5 kW multilevel DC-DC converter for hybrid electric and fuel cell automotive applications | 2007-09 | Text | ir_uspace |
| 4 |
 |
A 3D glass optrode array for optical neural stimulation | 2012-01-01 | Text | ir_uspace |
| 5 |
 |
A 5 kW Bi-directional multilevel modular DC-DC converter (MMCCC) featuring built in power management for fuel cell and hybrid electric automobiles | 2007 | Text | ir_uspace |
| 6 |
 |
A baseband residual vector quantization algorithm for voiceband data signals | 1989 | Text | ir_uspace |
| 7 |
 |
A blind adaptive projection receiver for CDMA systems | 1998 | Text | ir_uspace |
| 8 |
 |
A blind projection receiver for coded CDMA systems | 1999 | Text | ir_uspace |
| 9 |
 |
A Busy Professor's Guide to Sanely Flipping Your Classroom | 2019 | Text | ir_uspace |
| 10 |
 |
A busy professors guide to sanely flipping your classroom | 2013-01-01 | Text | ir_uspace |
| 11 |
 |
A comparative study on two types of transparent patch antennas | 2011 | Text | ir_uspace |
| 12 |
 |
A compositional minimization approach for large asynchronous design verification | 2012-01-01 | Text | ir_uspace |
| 13 |
 |
A computational framework to characterize the fast neural coding dynamics during eye movements | 2020 | Text | ir_etd |
| 14 |
 |
A fast recursive least-squares adaptive nonlinear filter | 1988 | Text | ir_uspace |
| 15 |
 |
A fast recursive least-squares second order volterra filter | 1988 | Text | ir_uspace |
| 16 |
 |
A feasibility study of microjets applied to breast cancer detection | 2012-01-01 | Text | ir_uspace |
| 17 |
 |
A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditions | 2005 | Text | ir_uspace |
| 18 |
 |
A hidden surface algorithm for computer generated halftone pictures | 1969 | Text | ir_etd |
| 19 |
 |
A high-efficiency modular switched-capacitor converter with continuously variable conversion ratio | 2012-01-01 | Text | ir_uspace |
| 20 |
 |
A high-resolution flexible tactile imager system based on floating comb electrodes | 2012-01-01 | Text | ir_uspace |
| 21 |
 |
A history & future of implantable antennas | 2014-01-01 | Text | ir_uspace |
| 22 |
 |
A low power UART design based on asynchronous techniques | 2013-01-01 | Text | ir_uspace |
| 23 |
 |
A low-cost non-mechanical maximum power point tracking scheme for grid-tied single-phase induction generators | 2012-01-01 | Text | ir_uspace |
| 24 |
 |
A magnetic field-independent absorbing boundary condition for magnetized cold plasma | 2011-01-01 | Text | ir_uspace |
| 25 |
 |
A mathematical approach to a low power FFT architecture | 1998 | Text | ir_uspace |
| 26 |
 |
A mathematical basis for the application of the modified geometric method to maximum frequency estimation | 2004 | Text | ir_uspace |
| 27 |
 |
A methodology for physical design automation for integrated optics | 2012-01-01 | Text | ir_uspace |
| 28 |
 |
A minimax approach for the joint design of acoustic crosstalk cancellation filters | 2007 | Text | ir_uspace |
| 29 |
 |
A multiphase interpolating digital power amplifier for TX beamforming | 2019 | Text | ir_etd |
| 30 |
 |
A multiscale computational modeling platform for design and analysis of electrical neural stimulation | 2017 | Text | ir_etd |
| 31 |
 |
A new carrier frequency estimator for modem signals | 1988 | Text | ir_uspace |
| 32 |
 |
A new model of perceptual threshold functions for application in image compression systems | 1995 | Text | ir_uspace |
| 33 |
 |
A novel ELF radar for major oil deposits | 2006-01-01 | Text | ir_uspace |
| 34 |
 |
A novel hydrogel based piezoresistive pressure sensor platform for chemical sensing | 2010 | Text | ir_etd |
| 35 |
 |
A phase likelihood-based algorithm for blind identification of PSK signals | 2014-01-01 | Text | ir_uspace |
| 36 |
 |
A review of progress in FDTD Maxwell's equations modeling of impulsive subionospheric propagation below 300 kHz | 2007-01-01 | Text | ir_uspace |
| 37 |
 |
A simple convolution procedure for calculating currents induced in the human body for exposure to electromagnetic pulses | 1994 | Text | ir_uspace |
| 38 |
 |
A single chip low power asynchronous implementation of an FFT algorithm for space applications | 1998 | Text | ir_uspace |
| 39 |
 |
A small low-power wireless integrated microsystem | 2015 | Text | ir_etd |
| 40 |
 |
A stability condition for certain bilinear systems | 1994 | Text | ir_uspace |
| 41 |
 |
A stability result for RLS adaptive bilinear filters | 1994 | Text | ir_uspace |
| 42 |
 |
A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | 2006 | Text | ir_uspace |
| 43 |
 |
A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | 2002 | Text | ir_uspace |
| 44 |
 |
A standard-cell self-timed multiplier for energy and area critical synchronous systems | 2001 | Text | ir_uspace |
| 45 |
 |
A stochastic FDTD method for statistically varying biological tissues | 2011 | Text | ir_uspace |
| 46 |
 |
A stochastic FDTD model of electromagnetic wave propagation in magnetized ionospheric plasma | 2013-01-01 | Text | ir_uspace |
| 47 |
 |
A stochastic gradient adaptive filter with gradient adaptive step size | 1993 | Text | ir_uspace |
| 48 |
 |
A study on the efficiency of transparent patch antennas designed from conductive oxide films | 2011 | Text | ir_uspace |
| 49 |
 |
A tutorial on Stochastic FDTD | 2014-01-01 | Text | ir_uspace |
| 50 |
 |
A twenty-eight channel coil array for improved optic nerve imaging | 2011-05 | Text | ir_etd |
| 51 |
 |
A unified approach to nonparametric spectrum estimation algorithms | 1987 | Text | ir_uspace |
| 52 |
 |
A very high density floating electrode flexible sensor array for high-resolution measurements of contact forces | 2013-01-01 | Text | ir_uspace |
| 53 |
 |
A wireless and battery-less hermetically packaged glucose sensor employing hydrogel-based inductive sensing scheme and low-power asic for long-term implantable glucose monitoring | 2020 | Text | ir_etd |
| 54 |
 |
AC solar cells: An embedded "all in one" PV power system | 2012-01-01 | Text | ir_uspace |
| 55 |
 |
Accelerating DNA Sequence Alignment | 2018 | Text | ir_htoa |
| 56 |
 |
Achieving backend robustness for timed asynchronous circuits | 2016 | Text | ir_etd |
| 57 |
 |
Achieving fast and exact hazard-free logic minimization of extended burst-mode gC finite state machines | 2000 | Text | ir_uspace |
| 58 |
 |
Achieving near map performance with an excited markov chain monte Carlo MIMO detector | 2017 | Text | ir_etd |
| 59 |
 |
Active sperm separation technique using an inertial microfluidic device | 2017 | Text | ir_etd |
| 60 |
 |
Adaptive algorithms for identifying recursive nonlinear systems | 1991 | Text | ir_uspace |
| 61 |
 |
Adaptive algorithms for the rejection of sinusoidal disturbances acting on unkown plants | 2011-12 | Text | ir_etd |
| 62 |
 |
Adaptive bilinear predictors | 1994 | Text | ir_uspace |
| 63 |
 |
Adaptive filters requiring zero multiplications | 1987 | Text | ir_uspace |
| 64 |
 |
Adaptive gain processing to improve feedback cancellation in digital hearing aids | 2008 | Text | ir_uspace |
| 65 |
 |
Adaptive gain processing with offending frequency suppression for digital hearing aids | 2012 | Text | ir_uspace |
| 66 |
 |
Adaptive lattice bilinear filters | 1993 | Text | ir_uspace |
| 67 |
 |
Adaptive nonlinear digital filter with sequential regression algorithm | 1984 | Text | ir_uspace |
| 68 |
 |
Adaptive parallel-cascade truncated volterra filters | 1998 | Text | ir_uspace |
| 69 |
 |
Adaptive phase transform processors for time delay estimation | 1993 | Text | ir_uspace |
| 70 |
 |
Adaptive polynomial filters | 1991 | Text | ir_uspace |
| 71 |
 |
Adaptive realization of a maximum likelihood time delay estimator | 1996 | Text | ir_uspace |
| 72 |
 |
Adaptive realizations of the maximum likelihood processor for time delay estimation | 1984 | Text | ir_uspace |
| 73 |
 |
Adaptive realizations of the phase transform for time delay estimation | 1984 | Text | ir_uspace |
| 74 |
 |
Adaptive unsharp masking for contrast enhancement | 1997 | Text | ir_uspace |
| 75 |
 |
Adaptive volterra filters using orthogonal structures | 1995 | Text | ir_uspace |
| 76 |
 |
Adaptive volterra filters using orthogonal structures | 1996 | Text | ir_uspace |
| 77 |
 |
Adaptive, quadratic preprocessing of document images for binarization | 1998 | Text | ir_uspace |
| 78 |
 |
ADE-FDTD scattered-field formulation for dispersive materials | 2008-01-01 | Text | ir_uspace |
| 79 |
 |
Adsorption and desorption of the surfactant Sb on GaInP grown by organometallic vapor phase epitaxy | 2000 | Text | ir_uspace |
| 80 |
 |
Advanced methods for light trapping in optically thin silicon solar cells | 2011-11 | Text | ir_etd |
| 81 |
 |
Advanced modulation techniques in massive mimo | 2018 | Text | ir_etd |
| 82 |
 |
Algebraic curves that work better | 1999 | Text | ir_uspace |
| 83 |
 |
Algorithms and methodology to design asynchronous circuits using synchronous CAD tools and flows | 2013-12 | Text | ir_etd |
| 84 |
 |
Algorithms for automatic generation of relative timing constraints | 2011-05 | Text | ir_etd |
| 85 |
 |
Algorithms for MIS vector generation and pruning | 2006 | Text | ir_uspace |
| 86 |
 |
An A-FPGA architecture for relative timing based asynchronous designs | 2014-01-01 | Text | ir_uspace |
| 87 |
 |
An adaptive channel estimator for CDMA systems in multipath fading channels | 2001 | Text | ir_uspace |
| 88 |
 |
An analytical model of the perceptual threshold function for multichannel image compression | 1998 | Text | ir_uspace |
| 89 |
 |
An asynchronous implementations of the MAXLIST algorithm | 1997 | Text | ir_uspace |
| 90 |
 |
An asynchronous instruction length decoder | 2001 | Text | ir_uspace |
| 91 |
 |
An asynchronous instruction length decoder | 2001 | Text | ir_uspace |
| 92 |
 |
An E-J collocated 3-D FDTD model of electromagnetic wave propagation in magnetized cold plasma | 2010-01-01 | Text | ir_uspace |
| 93 |
 |
An efficient algorithm for joint estimation of differential time delays and frequency offsets | 1992 | Text | ir_uspace |
| 94 |
 |
An efficient algorithm for lattice filter/predictor | 1985 | Text | ir_uspace |
| 95 |
 |
An efficient stochastic approach to uncertainty quantification in 3-D FDTD magnetized cold plasma | 2014-01-01 | Text | ir_uspace |
| 96 |
 |
An exothermal energy release layer for microchip transience | 2013-01-01 | Text | ir_uspace |
| 97 |
 |
An improved channel estimation algorithm for filter bank multicarrier spread spectrum | 2017 | Text | ir_etd |
| 98 |
 |
An improvement in partial order reduction using behavioral analysis | 2012-01-01 | Text | ir_uspace |
| 99 |
 |
An Investigation of Micromachined tungsten filaments as incandescent microlamps | 2000 | Text | ir_etd |
| 100 |
 |
An iterative inversion method for transmission line fault location | 2011-08 | Text | ir_etd |
| 101 |
 |
An optimal design procedure for intraband vector quantized subband coding | 1995 | Text | ir_uspace |
| 102 |
 |
Analog adaptive notch filter: carrier canceler | 2015-05 | Text | ir_etd |
| 103 |
 |
Analog decoding of product codes | 2001-01-11 | Text | ir_uspace |
| 104 |
 |
Analog decoding of product codes | 2001 | Text | ir_uspace |
| 105 |
 |
Analog decoding of product codes | 2002 | Text | ir_uspace |
| 106 |
 |
Analog decoding of product codes | 2002 | Text | ir_uspace |
| 107 |
 |
Analog MAP decoder for (8, 4) hamming code in subthreshold CMOS | 2001 | Text | ir_uspace |
| 108 |
 |
Analog MAP decoder for (8, 4) hamming code in subthreshold CMOS | 2001 | Text | ir_uspace |
| 109 |
 |
Analog MAP decoder for (8,4) hamming code in subthreshold CMOS | 2004-01-01 | Text | ir_uspace |
| 110 |
 |
Analog VLSI implementation of a visual interneuron: enhanced sensory processing through biophysical modeling | 1999-01-01 | Text | ir_uspace |
| 111 |
 |
Analog VLSI model of the fly elementary motion detector | 1998-01-01 | Text | ir_uspace |
| 112 |
 |
Analysis and implementation of spatial filters in the Quasi-Static regime with applications to wireless power transfer | 2017 | Text | ir_etd |
| 113 |
 |
Analysis of advanced waveforms for 5G | 2018 | Text | ir_etd |
| 114 |
 |
Analysis of electromagnetic field variability in magnetized ionosphere plasma using the stochastic FDTD method | 2014-01-01 | Text | ir_uspace |
| 115 |
 |
Analysis of spread spectrum time domain reflectometry for wire fault location | 2005-12 | Text | ir_uspace |
| 116 |
 |
Analysis of the short-time unbiased spectrum estimation algorithm | 1985 | Text | ir_uspace |
| 117 |
 |
Anisotropic diffusion of surface normals for feature preserving surface reconstruction | 2003 | Text | ir_uspace |
| 118 |
 |
Anisotropic diffusion of surface normals for feature preserving surface reconstruction | 2003 | Text | ir_uspace |
| 119 |
 |
Antenna optimization for vehicular environments | 2011 | Text | ir_uspace |
| 120 |
 |
Application of phase detection frequency domain reflectometry for locating faults in an F-18 flight control harness | 2005-05 | Text | ir_uspace |
| 121 |
 |
Architectural synthesis of timed asynchronous systems | 1999 | Text | ir_uspace |
| 122 |
 |
Area, power and performance optimization algorithms for elastic circuit control networks | 2012-05 | Text | ir_etd |
| 123 |
 |
Asynchronous genetic circuit design | 2019 | Text | ir_etd |
| 124 |
 |
Atomic force microscopy study of ordered GaInP | 1995 | Text | ir_uspace |
| 125 |
 |
Atomic layer deposited aluminum oxide and parylene C bi-layer encapsulation for biomedical implantable devices | 2013-12 | Text | ir_etd |
| 126 |
 |
Atomic ordering of GaInP studied by Kelvin probe force microscopy | 1995 | Text | ir_uspace |
| 127 |
 |
Automated computer analysis of the electrocardiogram | 1972-06 | Text | ir_etd |
| 128 |
 |
Automatic abstraction for synthesis and verification of deterministic timed systems | 2000 | Text | ir_uspace |
| 129 |
 |
Automatic addition of reset in asynchronous sequential control circuits | 2014-01-01 | Text | ir_uspace |
| 130 |
 |
Automatic assembly of TEM mosaics and mosaic stacks using phase correlation | 2007 | Text | ir_uspace |
| 131 |
 |
Automatic classification of alzheimer's desease vs. frontotemporal dementia: a spatial decision tree aprroach with FDG-PET | 2008 | Text | ir_uspace |
| 132 |
 |
Automatic derivation of timing constraints by failure analyis | 2002 | Text | ir_uspace |
| 133 |
 |
Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits | 2011-05 | Text | ir_etd |
| 134 |
 |
Automatic markup of neural cell membranes using boosted decision stumps | 2009 | Text | ir_uspace |
| 135 |
 |
Automatic synthesis of fast compact self-timed control circuits | 1993 | Text | ir_uspace |
| 136 |
 |
Automatic synthesis of fast, compact self-timed control | 1992 | Text | ir_uspace |
| 137 |
 |
Average-case optimized technology mapping of one-hot domino circuits | 1998 | Text | ir_uspace |
| 138 |
|
Average-case optimized technology mapping of one-hot domino circuits* | 1998 | Text | ir_uspace |
| 139 |
 |
Bandgap control of GaInP using Sb as a surfactant | 1999-09-27 | Text | ir_uspace |
| 140 |
 |
Bandwidth optimization in asynchronous NoCs by customizing link wire length | 2010 | Text | ir_uspace |
| 141 |
 |
Batch fabrication of flowable colorimetric pressure sensing particles via surface micromachining | 2010 | Text | ir_uspace |
| 142 |
 |
Bi surfactant control of ordering and surface structure in GaInP grown by organometallic vapor phase epitaxy | 2000 | Text | ir_uspace |
| 143 |
 |
Bi surfactant effects on ordering in GaInP grown by organometallic vapor-phase epitaxy | 2000 | Text | ir_uspace |
| 144 |
 |
Bi-layer encapsulation of Utah array based nerual interfaces by atomic layer deposited Al2O3 and parylene C | 2013-01-01 | Text | ir_uspace |
| 145 |
 |
Biologically inspired analog IC for visual collision detection | 2005-11 | Text | ir_uspace |
| 146 |
 |
Biologically motivated predictions for dynamic power in VLSI circuits | 2008-12 | Text | ir_etd |
| 147 |
 |
Biomedical telemetry: today's opportunities and challenges | 2009-03 | Text | ir_uspace |
| 148 |
 |
Blind identification of bilinear systems | 2001 | Text | ir_uspace |
| 149 |
 |
Blind identification of bilinear systems | 2003 | Text | ir_uspace |
| 150 |
 |
Blind identification of QAM signals using a likelihood-based algorithm | 2013-01-01 | Text | ir_uspace |
| 151 |
 |
Blind modulation identification of quadrature amplitude modulation (qam) and phase-shift keying (psk) signals in dual-polarized channels | 2017 | Text | ir_etd |
| 152 |
 |
Boundary estimation from intensity/color images with algebraic curve models | 2000 | Text | ir_uspace |
| 153 |
 |
Brain-machine interface, unplugged | 2009-01-01 | Text | ir_uspace |
| 154 |
 |
Broadband and multiband antenna design using the genetic algorithm to create amorphous shapes using ellipses | 2006-10 | Text | ir_uspace |
| 155 |
 |
CA-BIST for asynchronous circuits: a case study on the RAPPID asynchronous instruction length decoder | 2000 | Text | ir_uspace |
| 156 |
 |
CAD directions for high performance asynchronous circuits | 1999 | Text | ir_uspace |
| 157 |
 |
Calculation of electric fields and currents induced in a millimeter-resolution human model at 60 Hz using the FDTD method with a novel time-to-frequency-domain conversion | 1996 | Text | ir_uspace |
| 158 |
 |
Capacitance and inductance sensor circuits for detecting the lengths of open- and short-circuited wires | 2009-08 | Text | ir_uspace |
| 159 |
 |
Capacitive ionic current measurement in a polymer-electrolyte transistor | 2008 | Text | ir_uspace |
| 160 |
 |
Cell library for automatic synthesis of analog error control decoders | 2002 | Text | ir_uspace |
| 161 |
 |
Cell library for automatic synthesis of analog error control decoders | 2002 | Text | ir_uspace |
| 162 |
 |
Challenges and solutions in measuring computer power supply efficiency for 80 PLUS® certification | 2009-02 | Text | ir_uspace |
| 163 |
 |
Challenges in curriculum adaptation across institutions of higher education: international and national student transfer | 2006 | Text | ir_uspace |
| 164 |
 |
Challenges in quantitative cardiovascular magnetic resonance perfusion | 2017 | Text | ir_etd |
| 165 |
 |
Challenges with optically transparent patch antennas | 2012-01-01 | Text | ir_uspace |
| 166 |
 |
Channel and noise variance estimation in a spread spectrum communication system | 2016 | Text | ir_etd |
| 167 |
 |
Channel capacity, signaling design, and statistical detection for multiple-antenna channels | 2012-05 | Text | ir_etd |
| 168 |
 |
Channel routing for integrated optics | 2013-01-01 | Text | ir_uspace |
| 169 |
 |
Characterization and prediction of guided wave propagation in complex media via compressive sampling in time and space | 2020 | Text | ir_etd |
| 170 |
 |
Characterization of a 3D optrode array for infrared neural stimulation | 2012-01-01 | Text | ir_uspace |
| 171 |
 |
Characterization of aging process in power converters using spread spectrum time domain reflectometry | 2012-01-01 | Text | ir_uspace |
| 172 |
 |
Characterization of asynchronous templates for integration into clocked CAD flows | 2009 | Text | ir_uspace |
| 173 |
 |
Characterization of electrical interferences for ground reaction sensor cluster | 2012-01-01 | Text | ir_uspace |
| 174 |
 |
Characterization of unicompositional GaInP2 ordering heterostructures grown by variation of V/III ratio | 1997 | Text | ir_uspace |
| 175 |
 |
Charge-balanced current driver and electrode characterization for an implantable neural stimulator | 2007-09-24 | Text | ir_etd |
| 176 |
 |
Chemical beam epitaxial growth of InP and GaP by using tertiarybutylbis (dimethylamino) phosphine | 2007 | Text | ir_uspace |
| 177 |
 |
Chemical sensing with nanogap and chemi mechanical devices | 2019 | Text | ir_etd |
| 178 |
 |
Clocked and asynchronous FIFO characterization and comparison | 2009 | Text | ir_uspace |
| 179 |
 |
CMOS analog map decoder for (8,4) hamming code | 2004 | Text | ir_uspace |
| 180 |
 |
CMOS digital transmitters for emerging applications | 2019 | Text | ir_etd |
| 181 |
 |
CMOS imager with on-chip temporal filtering for motion pre-processing | 2002-01-01 | Text | ir_uspace |
| 182 |
 |
CMOS programmable analog memory-cell array using floating-gate circuits | 2001-01 | Text | ir_uspace |
| 183 |
 |
Coding Arduino for Improving SSTDR Testing | 2018 | Text | ir_uw |
| 184 |
 |
Commercial and industrial applications getting ready for direct-current power distribution | 2004-01-01 | Text | ir_uspace |
| 185 |
 |
Commission B (fields and waves) international survey about EM education | 2005 | Text | ir_uspace |
| 186 |
 |
Compact form fitting small antennas using three-dimensional rapid prototyping | 2012-05 | Text | ir_etd |
| 187 |
 |
Comparing energy and latency of asynchronous and synchronous NoCs for embedded SoCs | 2010 | Text | ir_uspace |
| 188 |
 |
Comparison of FDTD computed and measured radiation patterns of commercial mobile telephones in presence of the human head | 1998-01-01 | Text | ir_uspace |
| 189 |
 |
Compositional modulation and ordering in semiconductors | 1997 | Text | ir_uspace |
| 190 |
 |
Compositional ordering in semiconductor alloys | 1993 | Text | ir_uspace |
| 191 |
 |
Computation methods for secure energy system operations | 2020 | Text | ir_etd |
| 192 |
 |
Computational and experimental study of a microwave electromagnetic bandgap structure with waveguiding defect for potential use as a bandpass wireless interconnect | 2004-01-01 | Text | ir_uspace |
| 193 |
 |
Computational diffractive optics for imaging and nonimaging applications | 2016 | Text | ir_etd |
| 194 |
 |
Computational framework for ultrastructural mapping of neural circuitry | 2009 | Text | ir_uspace |
| 195 |
 |
Computational modeling of the rat hippocampus for improving neural stimulation | 2016-05 | Text | ir_htoa |
| 196 |
 |
Computational silicon nanophotonic design | 2017 | Text | ir_etd |
| 197 |
 |
Computationally efficient multiuser detection for coded CDMA | 1997 | Text | ir_uspace |
| 198 |
 |
Computations of SAR distributions for two anatomically-based models of the human head using CAD files of commercial telephones and the parallelized FDTD code | 1997 | Text | ir_uspace |
| 199 |
 |
Computations of SAR distributions or two anatomically based models of the human head using CAD files of commercial telephones and the parallelized FDTD code | 1998-01-01 | Text | ir_uspace |
| 200 |
 |
Concurrency reduction of untimed latch protocols - theory and practice | 2010 | Text | ir_uspace |
