Search results for "encoding"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila	Simple Is Better: Efficient Bounded Model Checking for Past LTL.	VMCAI	2005	DBLP DOI BibTeX RDF	Past LTL, Bounded Model Checking, NuSMV
28	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF
28	Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani	Software model checking via large-block encoding.	FMCAD	2009	DBLP DOI BibTeX RDF
28	Hao Che, Zhijun Wang 0001, Kai Zheng 0003, Bin Liu 0001	DRES: Dynamic Range Encoding Scheme for TCAM Coprocessors.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Composite structures, Storage/repositories, Network repositories/data mining/backup, Associative memories
28	Nikolaus Hansen	Adaptive Encoding: How to Render Search Coordinate System Invariant.	PPSN	2008	DBLP DOI BibTeX RDF
28	Sharath Jayaprakash, Nihar R. Mahapatra	Partitioned Hybrid Encoding to Minimize On-Chip Energy Dissipation ofWide Microprocessor Buses.	VLSI Design	2007	DBLP DOI BibTeX RDF
28	Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif	ASN1-light: A Verified Message Encoding for Security Protocols.	SEFM	2007	DBLP DOI BibTeX RDF
28	Ping Li, Bharadwaj Veeravalli, Ashraf A. Kassim	Design and implementation of parallel video encoding strategies using divisible load analysis.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
28	Shanq-Jang Ruan, Kun-Lin Tsai, Edwin Naroska, Feipei Lai	Bipartitioning and encoding in low-power pipelined circuits.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Low-power design
28	Xinchao Zhao, Hongliang Long	Multiple bit encoding-based search algorithms.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
28	Gabriela Ochoa, Gabi Escuela, Natalio Krasnogor	Incorporating Knowledge of Secondary Structures in a L-System-Based Encoding for Protein Folding.	Artificial Evolution	2005	DBLP DOI BibTeX RDF
28	Sang-Moon Soak, David Corne, Byung-Ha Ahn	A Powerful New Encoding for Tree-Based Combinatorial Optimisation Problems.	PPSN	2004	DBLP DOI BibTeX RDF
28	Germán Gutiérrez, Beatriz García Jiménez, José M. Molina 0001, Araceli Sanchis	Studying the Capacity of Grammatical Encoding to Generate FNN Architectures.	IWANN (1)	2003	DBLP DOI BibTeX RDF
28	Yasuhito Asano, Tsuyoshi Ito, Hiroshi Imai, Masashi Toyoda, Masaru Kitsuregawa	Compact Encoding of the Web Graph Exploiting Various Power Laws: Statistical Reason Behind Link Database.	WAIM	2003	DBLP DOI BibTeX RDF
28	Gustavo Sutter, Elias Todorovich, Sergio López-Buedo, Eduardo I. Boemo	Low-Power FSMs in FPGA: Encoding Alternatives.	PATMOS	2002	DBLP DOI BibTeX RDF	One-Hot, State Encod-ing, FPGA, Low-Power, Finite State Machine
28	Olivier Raynaud, Eric Thierry	A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.	ECOOP	2001	DBLP DOI BibTeX RDF
27	Wei-Chung Cheng, Massoud Pedram	Chromatic Encoding: A Low Power Encoding Technique for Digital Visual Interface.	DATE	2003	DBLP DOI BibTeX RDF
27	Parag Agarwal, Balakrishnan Prabhakaran 0001	Tamper Proofing 3D Motion Data Streams.	MMM (1)	2007	DBLP DOI BibTeX RDF	watermarking, encoding, motion, decoding, data, Tamper proofing
27	N. Venkateswaran 0002, V. Barath Kumar, R. Raghavan, R. Srinivas, S. Subramanian, V. Balaji, Venkataraman Mahalingam, T. L. Rajaprabhu	Crosstalk Fault Tolerant Processor Architecture - A Power Aware Design.	DELTA	2004	DBLP DOI BibTeX RDF	Cross-talk fault, Berger encoding, Adaptive Huffman compression, Memory refetches, Power awareness
26	Dinesh C. Suresh, Banit Agrawal, Jun Yang 0002, Walid A. Najjar	Energy-efficient encoding techniques for off-chip data buses.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	Low-power data buses, bus switching, internal capacitances, encoding
26	Xiaoming Chen 0006, Zhendong Zhao, Ahmad Rahmati, Ye Wang 0007, Lin Zhong 0001	SaVE: sensor-assisted motion estimation for efficient h.264/AVC video encoding.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	digital compass, motion estimation, sensor, H.264/AVC, MPEG, accelerometer, video encoding
26	Xiahai Zhuang, David J. Hawkes, Sébastien Ourselin	Unifying Encoding of Spatial Information in Mutual Information for Nonrigid Registration.	IPMI	2009	DBLP DOI BibTeX RDF	Spatial encoding, locally affine, mutual information, registration, free-form deformations
26	Guangming Hong, Ahmad Rahmati, Ye Wang 0007, Lin Zhong 0001	SenseCoding: accelerometer-assisted motion estimation for efficient video encoding.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	motion estimation, accelerometer, mpeg-2, video encoding
26	Huihui Bai 0001, Yao Zhao 0001, Ce Zhu	Priority Encoding Transmission Based Multiple Description Video Coding over Packet Loss Network.	DCC	2008	DBLP DOI BibTeX RDF	Video coding, Multiple description, Priority Encoding Transmission
26	Matthias Dick, Sven Lahde, Lars C. Wolf	MPEG analyzer a tool for visualizing MPEG encoding characteristics.	NOSSDAV	2008	DBLP DOI BibTeX RDF	encoding characteristics, visualization, MPEG-2
26	Nicolas Oros, Volker Steuber, Neil Davey, Lola Cañamero, Rod Adams	Adaptive Olfactory Encoding in Agents Controlled by Spiking Neural Networks.	SAB	2008	DBLP DOI BibTeX RDF	neural encoding, firing rate, temporal coincidence, spiking neural network
26	Hariharan Sankaran, Srinivas Katkoori	Bus Binding, Re-ordering, and Encoding for Crosstalk-Producing Switching Activity Minimization during High Level Synthesis.	DELTA	2008	DBLP DOI BibTeX RDF	Simulated Annealing, HLS, Encoding, Crosstalk, Binding, Reordering
26	Jong-eun Lee, Kiyoung Choi, Nikil D. Dutt	Instruction set synthesis with efficient instruction encoding for configurable processors.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ISA customization and specialization, bitwidth-economical, Application-specific instruction set processor (ASIP), configurable processor, instruction encoding
26	Walter Geisselhardt, Taswar Iqbal	High-Capacity Invisible Background Encoding for Digital Authentication of Hardcopy Documents.	IWDW	2007	DBLP DOI BibTeX RDF	Smart IDs, data tampering, entertainment tickets protection, printing scanning, 2-D Bar codes, HD-DataStripe, data encoding in background images, biometrics, watermarking, copy detection, counterfeiting, halftone images
26	Jun Du, Emin Erkan Korkmaz, Reda Alhajj, Ken Barker 0001	Alternative Clustering by Utilizing Multi-objective Genetic Algorithm with Linked-List Based Chromosome Encoding.	MLDM	2005	DBLP DOI BibTeX RDF	linkage-encoding, genetic algorithms, clustering, multi-objective optimization, k-means
26	Max H. Garzon, Russell J. Deaton	Codeword design and information encoding in DNA ensembles.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	codeword design, DNA space dimension, h-distance, information encoding in DNA, template method, tensor product, partition function, Gibbs energy, DNA-based computing
26	Rafal Mantiuk, Grzegorz Krawczyk, Karol Myszkowski, Hans-Peter Seidel	Perception-motivated high dynamic range video encoding.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	DCT encoding, HDR video, luminance quantization, adaptation, MPEG-4, visual perception, video compression, video processing, high dynamic range, tone mapping
26	Dinesh C. Suresh, Banit Agrawal, Jun Yang 0002, Walid A. Najjar, Laxmi N. Bhuyan	Power efficient encoding techniques for off-chip data buses.	CASES	2003	DBLP DOI BibTeX RDF	FV, FV-MSB-LSB, data bus, low power, bus encoding
26	Seiji Kajihara, Kenjiro Taniguchi, Irith Pomeranz, Sudhakar M. Reddy	Test Data Compression Using Don't-Care Identification and Statistical Encoding.	DELTA	2002	DBLP DOI BibTeX RDF	Statistical Encoding, Don't Care Identification, Huffman's algorithm, Test Data Compression
26	Terry Caelli, Andrew McCabe	Complex Images and Complex Filters: A Unified Model for Encoding and Matching Shape and Colour.	ICAPR	2001	DBLP DOI BibTeX RDF	Spatio-chromatic filtering, colour encoding, complex Fourier transorm, complex images
26	Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha	An Exact Input Encoding Algorithm for BDDs Representing FSMs.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	input encoding, finite state machines, binary decision diagrams, multi-valued decision diagrams
26	Oscar C. Au, Ming L. Liou, L. K. Ma	Fast Fractal Encoding in Frequency Domain.	ICIP (2)	1997	DBLP DOI BibTeX RDF	fast fractal encoding, self-similarity property, energy compaction property, range block, domain block, fast search methods, statistical normalization, algorithm, image compression, affine transform, frequency domain, frequency-domain analysis, fractal coding, scaling factor, DCT domain, image domain
25	Mark H. Nodine, Craig M. Files	A Mature Methodology for Implementing Multi-Valued Logic in Silicon.	ISMVL	2008	DBLP DOI BibTeX RDF	one-hot encoding, 1-of-N encoding, domino logic, null value
25	Biswaroop Mukherjee, Tim Brecht	Time-Lined TCP for the TCP-Friendly Delivery of Streaming Media.	ICNP	2000	DBLP DOI BibTeX RDF	time-lined TCP, TCP-friendly streaming data delivery, time-sensitive data, loss-tolerant applications, streaming media players, unicast delivery, transport level, TLTCP, streaming media applications, time-lined data delivery, simulations, Internet, Internet, protocol, congestion control, transport protocols, encoding, encoding, application program interfaces, API, deadlines, telecommunication traffic, data communication, UDP, telecommunication congestion control, bandwidth sharing, user level, MPEG-1
25	Liangkung Lin, G. Robert Redinbo	Efficient fault protection of block gradient-based adaptive filters.	ICPADS	1996	DBLP DOI BibTeX RDF	fault protection, block gradient-based adaptive filters, block processing techniques, sequential implementations, finite word length, fault-tolerant techniques, block adaptive filtering algorithms, fine-grained approach, computational complexity, complexity, fault tolerant computing, signal processing, encoding, adaptive filters, FIR filters, FIR filters, computational power, checksums, encoding scheme, digital signal processing applications
25	Nadime Zacharia, Janusz Rajski, Jerzy Tyszer	Decompression of test data using variable-length seed LFSRs.	VTS	1995	DBLP DOI BibTeX RDF	test data decompression, variable-length seed LFSRs, deterministic test vectors, scan circuits, multiple polynomial LFSR, encoding efficiency, logic testing, built-in self test, integrated circuit testing, encoding, automatic testing, polynomials, linear feedback shift register, shift registers, modular design, digital integrated circuits
25	Alan Edelman, Steve Heller, S. Lennart Johnsson	Index Transformation Algorithms in a Linear Algebra Framework.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	indextransformation algorithms, linear algebra framework, Gray code encoding, vector reversal, hypercube communications algorithms, Gauss-Jordan elimination, encoding, hypercube networks, decoding, decoding, linear algebra, Gray codes, shuffles, hypercube multiprocessors, matrix transpose, bit reversal
25	Alan C. Bovik, Marianna Clark, Wilson S. Geisler	Multichannel Texture Analysis Using Localized Spatial Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	multichannel texture analysis, localized spatial filters, visible textures, irradiance patterns, region code, region information, two-dimensional Gabor functions, tunable orientation, radial frequency bandwidths, tunable center frequencies, joint resolution, channel amplitude responses, pattern recognition, pattern recognition, encoding, encoding, filtering and prediction theory, discontinuities
24	Mohammad Rakibul Islam, Jinsang Kim	Low Density Parity Check Code for the Single Carrier Frequency Division Multiple Access.	FGIT	2009	DBLP DOI BibTeX RDF	SC-FDMA, ALT, LTE, LDPC, low complexity
24	Yiming Zhou, Chao Zhang, Zengke Zhang	Improved Variance-Based Fractal Image Compression Using Neural Networks.	ISNN (2)	2006	DBLP DOI BibTeX RDF
24	Amol Dattatraya Mali	On Temporal Planning as CSP.	ICTAI	2002	DBLP DOI BibTeX RDF
24	Yoshiki Kashimori, Satoru Inoue, Takeshi Kambara	A neural mechanism of hyperaccurate detection of phase advance and delay in the jamming avoidance response of weakly electric fish.	Biol. Cybern.	2001	DBLP DOI BibTeX RDF
24	Reza Rejaie, Amy R. Reibman	Design Issues for Layered Quality-Adaptive Internet Video Playback.	IWDC	2001	DBLP DOI BibTeX RDF
24	Jian Qiao, Makoto Ikeda, Kunihiro Asada	Optimum Functional Decomposition for LUT-Based FPGA Synthesis.	FPL	2000	DBLP DOI BibTeX RDF
24	Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001, John Thornton 0001	On Dual Encodings for Non-binary Constraint Satisfaction Problems.	CP	2000	DBLP DOI BibTeX RDF
24	Paul Z. Kolano	Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover.	ARTS	1999	DBLP DOI BibTeX RDF
24	Tamar Ratner, Ofer Reany, Ehud Keinan	NMR-Based Encoding and Processing of Alphanumeric Information.	UC	2009	DBLP DOI BibTeX RDF
24	Debasri Saha, Susmita Sur-Kolay	Encoding of Floorplans through Deterministic Perturbation.	VLSI Design	2009	DBLP DOI BibTeX RDF
24	Natalia A. Schmid, Francesco Nicolo	On Empirical Recognition Capacity of Biometric Systems Under Global PCA and ICA Encoding.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
24	David Gozalvez Serrano, David Gomez-Barquero, Narcís Cardona	Performance evaluation of the MPE-iFEC Sliding RS Encoding for DVB-H streaming services.	PIMRC	2008	DBLP DOI BibTeX RDF
24	David Dagon, Manos Antonakakis, Paul Vixie, Tatuya Jinmei, Wenke Lee	Increased DNS forgery resistance through 0x20-bit encoding: security via leet queries.	CCS	2008	DBLP DOI BibTeX RDF	DNS poisoning, DNS-0x20, computer security
24	Kuen-Fang Jea, Jen-Ya Wang	An RFID Encoding Method for Supply Chain Management.	APSCC	2008	DBLP DOI BibTeX RDF
24	Ashutosh Nayyar, Demosthenis Teneketzis	On globally optimal real-time encoding and decoding strategies in multi-terminal communication systems.	CDC	2008	DBLP DOI BibTeX RDF
24	Tong-Lee Lim, Tieyan Li, Sze-Ling Yeo	Randomized Bit Encoding for Stronger Backward Channel Protection in RFID Systems.	PerCom	2008	DBLP DOI BibTeX RDF	RFID security and privacy
24	Dingtao Shen, Can Cui 0001, Jiechen Wang	Implementation and Application of Intersection Operation Based on Run-Length Encoding.	CSSE (4)	2008	DBLP DOI BibTeX RDF
24	Shay Freundlich, David Burshtein, Simon Litsyn	Approximately Lower Triangular Ensembles of LDPC Codes With Linear Encoding Complexity.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
24	Chanho Yoon, Jong-Ee Oh, Minho Cheong, Sok-Kyu Lee	A Hardware Efficient LDPC Encoding Scheme for Exploiting Decoder Structure and Resources.	VTC Spring	2007	DBLP DOI BibTeX RDF
24	Jae-Yoon Jung, James A. Reggia	Evolutionary Design of Neural Network Architectures Using a Descriptive Encoding Language.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
24	Diansheng Guo, Mark Gahegan	Spatial ordering and encoding for geographic data mining and visualization.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Spatio-temporal visualization, Hierarchical clustering, Multidimensional scaling, Spatial data mining, Space-filling curve, Linear ordering
24	Emin Erkan Korkmaz	A Two-Level Clustering Method Using Linear Linkage Encoding.	PPSN	2006	DBLP DOI BibTeX RDF
24	Lionel Paris, Belaid Benhamou, Pierre Siegel	A Boolean Encoding Including SAT and n-ary CSPs.	AIMSA	2006	DBLP DOI BibTeX RDF	Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning
24	Rui Zhang, Niraj K. Jha	State Encoding of Finite-State Machines Targeting Threshold and Majority Logic Based Implementations with Application to Nanotechnologies.	VLSI Design	2006	DBLP DOI BibTeX RDF
24	Zhibin Pan, Tadahiro Ohmi, Koji Kotani	Constructing Better Partial Sums Based on Energy-Maximum Criterion for Fast Encoding of VQ.	APCCAS	2006	DBLP DOI BibTeX RDF
24	Gamal Fahmy, Natalia A. Schmid, Vivekanad Dorairaj	Performance evaluation of non-ideal iris based recognition system implementing global ICA encoding.	ICIP (3)	2005	DBLP DOI BibTeX RDF
24	Zhibin Pan, Koji Kotani, Tadahiro Ohmi	Enhanced fast encoding method for vector quantization by finding an optimally-ordered Walsh transform kernel.	ICIP (1)	2005	DBLP DOI BibTeX RDF
24	Bo Yin, Zhiqiang Wei 0002, Qingchun Meng	The Study of Special Encoding in Genetic Algorithms and a Sufficient Convergence Condition of GAs.	ICNC (2)	2005	DBLP DOI BibTeX RDF
24	Julien Cathalo, Jean-Sébastien Coron, David Naccache	From Fixed-Length to Arbitrary-Length RSA Encoding Schemes Revisited.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF
24	Xavier Llorà, Kumara Sastry, David E. Goldberg	Binary Rule Encoding Schemes: A Study Using the Compact Classifier System.	IWLCS	2005	DBLP DOI BibTeX RDF
24	Christian Timmerer, Ingo Kofler, Johannes Liegl, Hermann Hellwagner	An Evaluation of Existing Metadata Compression and Encoding Technologies for MPEG-21 Applications.	ISM	2005	DBLP DOI BibTeX RDF
24	Songpol Ongwattanakul, Xianwei Wu, David Jeff Jackson	A new searchless fractal image encoding method for a real-time image compression device.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
24	Yufei Yuan, Mrinal K. Mandal 0001	An embedded wavelet image coder with parallel encoding and sequential decoding of bit-planes.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
24	Kedarnath J. Balakrishnan, Nur A. Touba	Improving Encoding Efficiency for Linear Decompressors Using Scan Inversion.	ITC	2004	DBLP DOI BibTeX RDF
24	Kazuto Tominaga, Tomoya Suzuki, Kazuhiro Oka	An Encoding Scheme for Generating lambda-Expressions in Genetic Programming.	GECCO	2003	DBLP DOI BibTeX RDF
24	Christos Bouras, Apostolos Gkamas	Comparing Performance of SRAMT-LE Vs. Other Layered Encoding Schemes Regarding TCP Friendliness.	HSNMC	2003	DBLP DOI BibTeX RDF
24	Olivier Bailleux, Yacine Boufkhad	Efficient CNF Encoding of Boolean Cardinality Constraints.	CP	2003	DBLP DOI BibTeX RDF
24	Claudia Kretzschmar, Robert Siegmund, Dietmar Müller 0001	A Low Overhead Auto-Optimizing Bus Encoding Scheme for Low Power Data Transmission.	PATMOS	2002	DBLP DOI BibTeX RDF
24	Lucy T. Nowell, Robert S. Schulman, Deborah Hix	Graphical Encoding for Information Visualization: An Empirical Study.	INFOVIS	2002	DBLP DOI BibTeX RDF
24	Nikos Mamoulis, Kostas Stergiou 0001	Solving Non-binary CSPs Using the Hidden Variable Encoding.	CP	2001	DBLP DOI BibTeX RDF
24	Ralph-Johan Back, Joakim von Wright	Encoding, Decoding and Data Refinement.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Predicate transformer semantics, Abstraction, Galois connection, Data refinement
24	Claudia Kretzschmar, Robert Siegmund, Dietmar Müller 0001	Adaptive Bus Encoding Technique for Switching Activity Reduced Data Transfer over Wide System Buses.	PATMOS	2000	DBLP DOI BibTeX RDF
24	Sami Iren, Paul D. Amer	SPIHT-NC: Network-Conscious Zerotree Encoding.	Data Compression Conference	2000	DBLP DOI BibTeX RDF	Network-conscious, zerotree, wavelet, compression, spiht
24	Ken Nakamura, Mitsuo Ikeda, Takeshi Yoshitome, Takeshi Ogura	Global Rate Control Scheme for MPEG-2 HDTV Parallel Encoding System.	ITCC	2000	DBLP DOI BibTeX RDF
24	Victor Y. Pan	Matrix structure, polynomial arithmetic, and erasure-resilient encoding/decoding.	ISSAC	2000	DBLP DOI BibTeX RDF
24	Subhasish Mitra, LaNae J. Avra, Edward J. McCluskey	An output encoding problem and a solution technique.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
24	Winfried Nöth, Reiner Kolla	Spanning Tree-based State Encoding for Low Power Dissipation.	DATE	1999	DBLP DOI BibTeX RDF
24	Yong He, Ishfaq Ahmad, Ming L. Liou	Dynamic scheduling of multiple video objects for MPEG-4 encoding with user interactions.	ISCAS (4)	1999	DBLP DOI BibTeX RDF
24	Enric Pastor, Jordi Cortadella	Efficient Encoding Schemes for Symbolic Analysis of Petri Nets.	DATE	1998	DBLP DOI BibTeX RDF	Petri nets, BDDs, symbolic analysis
24	Jeffrey C. Mogul, Fred Douglis, Anja Feldmann, Balachander Krishnamurthy	Potential Benefits of Delta Encoding and Data Compression for HTTP.	SIGCOMM	1997	DBLP DOI BibTeX RDF
24	Subhasish Mitra, LaNae J. Avra, Edward J. McCluskey	An output encoding problem and a solution technique.	ICCAD	1997	DBLP DOI BibTeX RDF
24	Luca Benini, Giovanni De Micheli, Enrico Macii, Donatella Sciuto, Cristina Silvano	Asymptotic Zero-Transition Activity Encoding for Address Busses in Low-Power Microprocessor-Based Systems.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF
24	Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick	Symbolic hazard-free minimization and encoding of asynchronous finite state machines.	ICCAD	1995	DBLP DOI BibTeX RDF	optimal state assignment, asynchronous state machines, hazards, sequential synthesis, sequential optimization
24	Juinn-Dar Huang, Jing-Yang Jou, Wen-Zen Shen	Compatible class encoding in Roth-Karp decomposition for two-output LUT architecture.	ICCAD	1995	DBLP DOI BibTeX RDF
24	Xuejun Du, Gary D. Hachtel, Bill Lin 0001, A. Richard Newton	MUSE: a multilevel symbolic encoding algorithm for state assignment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
23	Pierre Colomb, Olivier Raynaud, Eric Thierry	Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies.	MCO	2008	DBLP DOI BibTeX RDF
23	Jongkil Kim, Willy Susilo, Fuchun Guo, Man Ho Au	A Tag Based Encoding: An Efficient Encoding for Predicate Encoding in Prime Order Groups.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF