Software tools for BDD optimizing by using autocorrelation functions (Englisch)
- Neue Suche nach: Kolotov, G.
- Neue Suche nach: Levin, I.
- Neue Suche nach: Ostrovsky, V.
- Neue Suche nach: Karpovsky, M.
- Neue Suche nach: Kolotov, G.
- Neue Suche nach: Levin, I.
- Neue Suche nach: Ostrovsky, V.
- Neue Suche nach: Karpovsky, M.
In:
2004 23rd IEEE Convention of Electrical and Electronics Engineers in Israel
;
129-132
;
2004
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Software tools for BDD optimizing by using autocorrelation functions
-
Beteiligte:Kolotov, G. ( Autor:in ) / Levin, I. ( Autor:in ) / Ostrovsky, V. ( Autor:in ) / Karpovsky, M. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.01.2004
-
Format / Umfang:267069 byte
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 2
-
Copyright page| 2004
- 3
-
Steering Committee| 2004
- 4
-
IEEE Israel section| 2004
- 5
-
Forward| 2004
- 6
-
Table of contents| 2004
- 11
-
Time jitter analysis of 1-bit sigma-delta synthesizerAbu, A. / Lupa, I. et al. | 2004
- 14
-
Automatic synthesis of a digital circuit employing an algorithmNeyfakh, A.E. et al. | 2004
- 18
-
Fuzzy logic base extremum seeking control systemGurvich, L. et al. | 2004
- 22
-
Localization in wireless sensor network with mobile beaconsPatro, R.K. et al. | 2004
- 25
-
Global geolocation of intense lightning strokes associated with TLEs based on ELF measurements from single-stationGreenberg, E. et al. | 2004
- 29
-
Automatic loop shaping of low order QFT controllersOded, Y. / Nagurka, M. et al. | 2004
- 33
-
Design of low order controllers satisfying sensitivity constraints for unstructured uncertain plantsOded, Y. / Arkady, L. et al. | 2004
- 37
-
Fuzzy logic based materials flow distribution methodGurvich, L. et al. | 2004
- 41
-
Design and analysis of an image transceiver device with a low cross-talk levelDavid, Y. / Efron, U. et al. | 2004
- 44
-
Approximate analysis of the resonant LCL DC-DC converterIvensky, G. / Bronstein, S. / Ben-Yaakov, S. et al. | 2004
- 48
-
New resonant rectifier for capacitive sourcesBen-Yaakov, S. / Krihely, N. et al. | 2004
- 52
-
The self-adjusting current-fed push-pull parallel-resonant inverter as a high frequency AC bus driverPeretz, M.M. / Ben-Yaakov, S. et al. | 2004
- 56
-
Multi-objective robust H/sub 2//H/sub /spl infin// deconvolution via evolutionary algorithmsYaesh, I. / Shaked, U. et al. | 2004
- 60
-
A neural control model for bimanual rhythmic movementsKlaiman, E. / Karniel, A. et al. | 2004
- 64
-
Electric models of large-scale systems and their analogy with thermodynamic systemsBerkovich, Y. / Golan, G. et al. | 2004
- 68
-
Maximum-mean-square-soft-output (M/sup 2/S/sup 2/O): a method for carrier synchronization of low SNR short packet turbo coded signalsRahamim, Y. / Freedman, A. / Reichman, A. et al. | 2004
- 72
-
Hierarchical coding for a MIMO channelSteiner, A. / Shamai, S. et al. | 2004
- 76
-
Iterative decoding of coded Tomlinson-Harashima precoded signalsRaphaeli, D. / Havoun, Y. et al. | 2004
- 80
-
Iterative channel estimation and decoding in turbo coded space time systemsRonen, S. / Bross, S.I. / Shamai, S. / Duman, T.M. et al. | 2004
- 84
-
New adaptive blind equalizer for FIR channels with non-zero delay dominant tapAbu, A. / Bobrovsky, B.Z. et al. | 2004
- 88
-
Simple ML optimal transmission for OSTBC combined with beamforming in Rayleigh and Rician channelsBlumrosen, G. / Fridman, V. et al. | 2004
- 92
-
On soft decision decoding of product codesOvadya, K. / Amrani, O. et al. | 2004
- 96
-
Data transmission in transport telematicsBlaha, J. / Bilinova, Z. et al. | 2004
- 98
-
Superposition coding for Gaussian dirty paperBennatan, A. / Burshtein, D. / Caire, G. / Shamai, S. et al. | 2004
- 102
-
Self basis selection in a finite setIlani, I. / Zamir, R. et al. | 2004
- 106
-
Iterative decoding of 8-DPSK with Reed Solomon codeBen-Haim, O. / Wulich, D. / Reichman, A. et al. | 2004
- 110
-
Capacity-achieving ensembles for the binary erasure channel with bounded complexityPfister, H. / Sason, I. / Urbanke, R. et al. | 2004
- 114
-
Unified MAC protocol for half-duplex wireless networksSagi, A. / Ben-Yehezkel, Y. / Ben-Shimol, Y. et al. | 2004
- 118
-
Software component completeness by block-diagonalized traceability matricesExman, L. et al. | 2004
- 122
-
Automated design of reliable checkers for control units using unidirectional error detecting codesPerelman, S. / Levin, L. / Ostrovsky, V. et al. | 2004
- 126
-
A micro-computer keyboard circuitThirer, N. / Matzner, H. et al. | 2004
- 129
-
Software tools for BDD optimizing by using autocorrelation functionsKolotov, G. / Levin, I. / Ostrovsky, V. / Karpovsky, M. et al. | 2004
- 133
-
Efficient algorithm for fusion of hierarchically structured dataAntsfeld, L. / Hertz, D. et al. | 2004
- 137
-
Selective main memory compression by identifying program phase changesNakar, D. / Weiss, S. et al. | 2004
- 141
-
Distributed compilation allocation with look-ahead heuristicsMizrachi, D. / Exman, I. et al. | 2004
- 145
-
Compact comparison of competing software designsTamim, N. / Exman, I. et al. | 2004
- 149
-
A clustering approach for exploring the Internet structureWool, A. / Sagie, G. et al. | 2004
- 153
-
The geometric efficient matching algorithm for firewallsRovniagin, D. / Wool, A. et al. | 2004
- 157
-
Metallic contamination in silicon processingGorodokin, V. / Zemlyanov, D. et al. | 2004
- 161
-
CMOS image sensor 3T Nwell photodiode pixel SPICE modelReiner, T. / Mishori, B. / Leitner, T. / Horovitz, A. / Vainbaum, Y. / Hakim, M. / Lahav, A. / Shapira, S. / Fenigstein, A. et al. | 2004
- 165
-
Investigation of conductive transparent In/sub 2/O/sub 3/ thin films deposited by triode sputteringAxelevitch, A. / Gorenstein, B. / Verdyan, A. / Golan, G. et al. | 2004
- 169
-
An FPGA controller for the image transceiver deviceThirer, N. / David, Y. / Zedaka, I.B. / Efron, U. et al. | 2004
- 173
-
Real-time monitoring of internal deformations in the soft tissues of the foot: a new approach in gait analysisYarnitzky, G. / Yizhar, Z. / Gefen, A. et al. | 2004
- 177
-
Automated method for Doppler echocardiography image analysisShechner, O. / Scheinowitz, M. / Feinberg, M.S. / Greenspan, H. et al. | 2004
- 181
-
Content-based indexing and retrieval of uterine cervix imagesZimermman, G. / Gordon, S. / Greenspan, H. et al. | 2004
- 185
-
ITD and ILD estimation based on neural stochastic analysisCohen, O. / Furst, M. / Krips, R. et al. | 2004
- 189
-
A VOM based gene-finder that specializes in short genesShohat-Zaidenraise, K.-O. / Shmilovici, A. / Ben-Gal, I. et al. | 2004
- 193
-
Estimates on electromagnetic power absorption in highly-lossy configurationsRazansky, D. / Soldea, D.F. / Yankilevich, G. / Einziger, P.D. et al. | 2004
- 197
-
A graphical method for the estimation of radiation hazards from a crowded multiple antenna siteNetzer, M. / Shechter, A. / Karni, Z. et al. | 2004
- 201
-
Graphical presentation of 50/60 Hz magnetic field contours as an engineering tool for minimizing ELF fieldsPeker, J. / Netzer, M.Z. et al. | 2004
- 205
-
On joint information embedding and lossy compression in the presence of a stationary memoryless attack channelMaor, A. / Merhav, N. et al. | 2004
- 209
-
Pragmatic communications to colocated receivers in a fading regimeKatz, M. / Shamai, S. et al. | 2004
- 213
-
Feedback increases neither the fading number nor the pre-logLapidoth, A. / Moser, S.M. et al. | 2004
- 216
-
Discrete and continuous maxima in OFDM signalsAlrod, I. / Litsyn, S. et al. | 2004
- 219
-
On the performance gain of multiple cell-site processing in randomly spread DS-CDMA cellular systemsZaidel, B.M. / Somekh, O. / Shamai, S. et al. | 2004
- 223
-
An efficient message-passing schedule for LDPC decodingSharon, E. / Litsyn, S. / Goldberger, J. et al. | 2004
- 227
-
The capacity loss of uncorrelated equi-power Gaussian input over MIMO channelPhilosof, T. / Zamir, R. et al. | 2004
- 230
-
A product construction of lattices for bandwidth-limited channelsSalomon, A.J. / Amrani, O. et al. | 2004
- 234
-
On the reliability exponent of the exponential telephone signaling channelOvadia, Y. / Bross, S.I. et al. | 2004
- 238
-
Temperature-dependent dispersion relations for nonlinear optical materials of the KTP familyYutsis, I. / Kirshner, B. / Emanueli, S. / Arie, A. et al. | 2004
- 240
-
Electrooptical wide-angle beam deflector based on fringing-field-induced refractive inhomogeneity in a liquid crystal layerApter, B. / Bahat-Treidel, E. / Efron, U. et al. | 2004
- 244
-
Tunable chromatic dispersion compensatorLever, D. / Arie, A. et al. | 2004
- 247
-
Substructuring approach to optimization of matching structures for photonic crystal waveguidesHershkoviz, O. / Steinberg, B.Z. / Boag, A. et al. | 2004
- 251
-
Design and optimization of tightly packed erbium-doped waveguide amplifiersMozjerin, I. / Hardy, A. / Ruschin, S. et al. | 2004
- 254
-
Computer-generated three types of holograms of three-dimensional objects synthesized by multiple perspectivesAbookasis, D. / Rosen, J. et al. | 2004
- 258
-
Computer generated correlation hologramsAbookasis, D. / Rosen, J. et al. | 2004
- 262
-
Imaging through scattering medium from multiple speckle images using microlens arrayAbookasis, D. / Rosen, J. et al. | 2004
- 266
-
Study of pattern synthesis techniques using neural networksShavit, R. / Taig, I. et al. | 2004
- 269
-
The microwave-drill technologyJerby, E. / Dikhtyar, V. / Aktushev, O. et al. | 2004
- 273
-
Localized heat processing of soft materials using a low-power microwave applicatorGolosovsky, M. / Copty, A. / Davidov, D. / Frenkel, A. et al. | 2004
- 277
-
Combined approach to design of microwave interdigital filtersKantor, B. / Elia, A. / Bar-David, I. et al. | 2004
- 281
-
Silicon single crystalline MEMS shunt contact switch for RF applicationAharon, O. / Feldman, S. / Nemirovsky, Y. et al. | 2004
- 285
-
Bandpass varactor tunable filters using step impedance resonatorsKapilevich, B. / Shulzinger, A. / Lukjanets, R. et al. | 2004
- 289
-
Pattern classification using a support vector machine for genetic disease diagnosisDavid, A. / Lerner, B. et al. | 2004
- 293
-
Rapid spline-based kernel density estimation for Bayesian networksGurwicz, Y. / Lerner, B. et al. | 2004
- 297
-
Belief networks for cytogenetic image categorizationLerner, B. / Malka, R. et al. | 2004
- 301
-
An empirical study of fuzzy ARTMAP applied to cytogeneticsLerner, B. / Vigdor, B. et al. | 2004
- 305
-
Classification and identification of algebraic surfaces from an unorganised cloud of pointsBercovier, M. / Luzon, M. / Pavlov, E. et al. | 2004
- 309
-
Reclustering hyperspectral data using variance-based criteriaBukhel, B. / Rotman, S.R. / Blumberg, D.G. et al. | 2004
- 313
-
Detection of large targets in noisy hyper-spectral imagesOhel, E. / Rotman, S.R. / Blumberg, D.G. et al. | 2004
- 317
-
Speed and position estimation of brushless DC motor in very low speedsBuchnik, Y. / Rabinovici, R. et al. | 2004
- 321
-
The switched reluctance generator as a flux-compression electromechanical converterRabinovici, R. / Radimov, N. et al. | 2004
- 325
-
A DSP-controlled PWM generator using field programmable gate arrayArbit, A. / Pritzker, D. / Kuperman, A. / Rabinovici, R. et al. | 2004
- 329
-
Current harmonics analysis of non-linear single-phase loads in a three-phase networkSpitsa, V. / Alexandrovitz, A. et al. | 2004
- 334
-
A HV pulse generator for driving pulsed corona dischargeAbramzon, E. / Wolf, M. / Pokryvailo, A. / Yankelevich, Y. et al. | 2004
- 338
-
A SPICE behavioral model for current-controlled magnetic inductorsRozanov, E. / Ben-Yaakov, S. et al. | 2004
- 342
-
SPICE compatible model of self-oscillating converterBen-Yaakov, S. / Fridman, I. et al. | 2004
- 346
-
SPICE compatible equivalent circuit of the energy conversion processes in thermoelectric modulesLineykin, S. / Ben-Yaakov, S. et al. | 2004
- 350
-
Saccharide fuel cells with platinum particles anodeBubis, E. / Mor, L. / Kaufman, V. / Schechner, P. / Hemmes, K. et al. | 2004
- 354
-
Shadow variation on photovoltaic collectors in a solar fieldWeinstock, D. / Appelbaum, J. et al. | 2004
- 358
-
Together better. Putting to work in a sole facility the wind the sun and the wave powerLazar, R. et al. | 2004
- 360
-
Improvement of alternator-battery matching using a SMRLevin, I. / Shmilovitz, D. et al. | 2004
- 364
-
Basic turbine values from data of fault eventsCheres, E. et al. | 2004
- 368
-
A fast algorithm for calculating the dual Gabor window with integer oversamplingSubbanna, N.K. / Eldar, Y.C. et al. | 2004
- 372
-
Nonuniform sampling in polar coordinates with applications to computerized tomographyMargolis, E. / Eldar, Y.C. et al. | 2004
- 376
-
Improvement of a parametric model for audio signal compression at low bit ratesMoskovitz, M. / Chazan, D. / Malah, D. et al. | 2004
- 380
-
Determining hyperspectral data-intrinsic dimensionality via a modified Gram-Schmidt processKuybeda, O. / Kagan, A. / Lumer, Y. et al. | 2004
- 384
-
Further developments for application of the /spl Psi/-transformGluskin, E. et al. | 2004
- 388
-
Improved cross-talk cancellation in scanned images by adaptive decorrelationOphir, B. / Malah, D. et al. | 2004
- 392
-
Blind separation of non-stationary and non-Gaussian independent sourcesTodros, K. / Tabrikian, J. et al. | 2004
- 396
-
Performance analysis of a blind HOS separation criterionLahat, D. / Weiss, A.J. et al. | 2004
- 400
-
Blind deconvolution via the generalized characteristic functionYachil, A. / Yeredor, A. et al. | 2004
- 404
-
Blind source separation via the second characteristic function with asymptotically optimal weightingEidinger, E. / Yeredor, A. et al. | 2004
- 408
-
Analysis of the direct position determination approach in the presence of model errorsAmar, A. / Weiss, A.J. et al. | 2004
- 412
-
Joint acoustic echo cancellation and transfer function GSC in the frequency domainReuven, G. / Gannot, S. / Cohen, I. et al. | 2004
- 416
-
Estimation with maximum error requirementsBen-Haim, Z. / Eldar, Y.C. et al. | 2004
- 420
-
Room acoustics measurements by microphone arraysBalmages, I. / Rafaely, B. et al. | 2004
- 424
-
Super-resolution spherical microphone arraysRafaely, B. / Park, M. et al. | 2004
- 428
-
Unsupervised classifying land development in high resolution multi-spectral satellite photos and application for facial features extractionLipowezky, U. / Furth, Y. / Luson, E. et al. | 2004
- 432
-
Advanced methods for sub-pixel anomaly detectionCohen, Y. / Rotman, S.R. et al. | 2004
- 436
-
An efficient method for demosaicingGrosssmann, B. / Eldar, Y.C. et al. | 2004
- 440
-
Anomaly detection based on an iterative local statistics approachGoldman, A. / Cohen, I. et al. | 2004
- 444
-
Anomaly subspace detection based on a multi-scale Markov random field modelGoldman, A. / Cohen, I. et al. | 2004
- 448
-
Anomaly detection in three dimensional data based on Gauss Markov random field modelingNoiboar, A. / Cohen, I. et al. | 2004
- 452
-
Performance bounds on analog modulations over fading channels or - analog modulation - where has it gone?Kalet, I. et al. | 2004
- 456
-
Authors index| 2004
-
2004 23rd IEEE Convention of Electrical and Electronics Engineers in Israel| 2004