Search results for "inputs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Dhiraj K. Pradhan	Sequential Network Design Using Extra Inputs for Fault Detection.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	In order to enhance fault-detection capability, extra inputs are used when designing sequential machines, Here, a technique is proposed that designs these machines, precisely with the use of extra inputs?so as especially to minimize the length of the checking sequence, The resulting checking sequences are shown to be upper bounded by (3 + 2n)m+rn(3m + 1), where n is the number of states, r is the number of inputs, m = logs, n and s is the number of extra inputs, respectively., diameter of graphs, fault detection, directed graphs, sequential machine, distinguishing sequence, Checking sequence
50	Goetz Graefe	Heap-Filter Merge Join: A New Algorithm For Joining Medium-Size Inputs.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	heap filter merge join, medium-size inputs, novel algorithm, relational equijoin, merge join, medium-size inputs, hybrid hash join, analytic cost functions, relational databases, database theory
48	James A. Clause, Alessandro Orso	Penumbra: automatically identifying failure-relevant inputs using dynamic tainting.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic information flow, failure-relevant inputs, automated debugging, dynamic tainting
46	Rupak Majumdar, Ru-Gang Xu	Reducing Test Inputs Using Information Partitions.	CAV	2009	DBLP DOI BibTeX RDF
44	Tomoo Inoue, Toshimitsu Masuzawa, Hiroshi Youra, Hideo Fujiwara	An Approach To The Synthesis Of Synchronizable Finite State Machines With Partial Scan.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	synchronizable finite state machines, sequential circuits synthesis, extended synchronizing sequence, scan inputs, normal inputs, MCNC'91 benchmark FSM, minimum-length extended synchronizing sequence, test generation, finite state machines, DFT, heuristic algorithm, minimization, partial scan, synthesis for testability, state assignment, state transition, state encoding
40	An Zeng, Yan Liu 0007, Liujun Chen	Features of Hodgkin-Huxley Neuron Response to Periodic Spike-Train Inputs.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Hodgkin-Huxley neuron, spike-train inputs, mode-locking, synaptic conductivity
40	Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov	Parallel test generation and execution with Korat.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	Korat, test data generation, parallel testing, bounded-exhaustive testing
38	Carlos Pacheco, Michael D. Ernst	Eclat: Automatic Generation and Classification of Test Inputs.	ECOOP	2005	DBLP DOI BibTeX RDF
36	Mark Sh. Levin, Mark Last	Design of test inputs and their sequences in multi-function system testing.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Test input, Test inputs sequences, Multi-function testing, Design, Combinatorial optimization, Decision making, Black-box testing, System approach
36	John A. Zinky, Joshua Etkin	The Effects of Infrequent But Difficult Inputs Conditions on N-Version Programming.	EUROMICRO	1997	DBLP DOI BibTeX RDF	difficult software inputs, software reliability, N-version programming
36	David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan	Software Assurance by Bounded Exhaustive Testing.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Formal methods, program verification, testing and debugging
36	Sumit Dasgupta, Carlos R. P. Hartmann, Luther D. Rudolph	Dual-Mode Logic for Function-Independent Fault Testing.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Control inputs, data inputs, dual-mode combinational logic network, dual-mode sequential logic network, function-independent tests, stuck-at-faults
34	Feng Mao, Eddy Z. Zhang, Xipeng Shen	Influence of program inputs on the selection of garbage collectors.	VEE	2009	DBLP DOI BibTeX RDF	cross-input program analysis, input-specific selection, minimum possible heap size, selection of garbage collectors, profiling
34	Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu 0001, Anirudh Devgan	Closed-form expressions for extending step delay and slew metrics to ramp inputs for RC trees.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
34	Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu 0001, Anirudh Devgan	Closed form expressions for extending step delay and slew metrics to ramp inputs.	ISPD	2003	DBLP DOI BibTeX RDF	Elmore, slew, delay, timing, interconnects, PDF, moments, median, skewness
34	Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu 0001, Anirudh Devgan	PERI: a technique for extending delay and slew metrics to ramp inputs.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	Elmore, slew, delay, interconnects, PDF, moments, median, skewness, standard deviation
34	Yukihiro Kamiya, Takayuki Miki, Yoshihiro Iwadare	Randomness Properties of Partial \gamma-\beta Planes as LSI Test Inputs and their Implementations.	AAECC	1995	DBLP DOI BibTeX RDF
33	Pavel Hruby	Stochastic Neuronal Models with Realistic Synaptic Inputs and Oscillatory Inputs.	IWANN	1995	DBLP DOI BibTeX RDF
32	Catherine Rainer, Ravi Mazumdar	A note on the conservation law for continuous reflected processes and its application to queues with fluid inputs.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	fluid inputs, Palm distribution, stationary measures, ON-OFF sources, reflections
32	Zhanping Chen, Kaushik Roy 0001, Tan-Li Chou	Power sensitivity - a new method to estimate power dissipation considering uncertain specifications of primary inputs.	ICCAD	1997	DBLP DOI BibTeX RDF	Monte Carlo based approach, maximum bounds, minimum bounds, power dissipation estimation, power sensitivity, primary inputs, signal properties, signal switching, uncertain specifications, logic CAD, CMOS logic circuits, power estimation, CMOS circuits, signal probability, statistical technique
32	Ghassan Misherghi, Zhendong Su 0001	HDD: hierarchical Delta Debugging.	ICSE	2006	DBLP DOI BibTeX RDF	delta debugging, automated debugging
30	Taeho Kim, Jae-Gon Kim	Heterogeneity in and Determinants of Technical Efficiency in the Use of Polluting Inputs.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
30	Yuk Kuen Wong	Use of software inspection inputs in practice.	ICSE	2002	DBLP DOI BibTeX RDF
30	Scott E. Hudson, Gary L. Newell	Probabilistic State Machines: Dialog Management for Inputs with Uncertainty.	ACM Symposium on User Interface Software and Technology	1992	DBLP DOI BibTeX RDF
30	Michiko Inoue, Emil Gizdarski, Hideo Fujiwara	A class of sequential circuits with combinational test generation complexity under single-fault assumption.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	combinational test generation complexity, internally balanced structures, combinational test generation, separable primary inputs, undetectability, fault diagnosis, logic testing, sequential circuits, sequential circuits, automatic test pattern generation, combinational circuits, test sequence, single stuck-at-faults, multiple stuck-at faults, single-fault
28	Peter Damaschke	Coping with Sparse Inputs on Enhanced Meshes - Semigroup Computation with COMMON CRCW Buses.	IPPS	1996	DBLP DOI BibTeX RDF	processor array with multiple broadcasting, concurrent writing, sparse inputs, lower and upper bound, compaction, semigroup computation
28	Omer Berkman, Yossi Matias	Fast parallel algorithms for minimum and related problems with small integer inputs.	IPPS	1995	DBLP DOI BibTeX RDF	integer inputs, prefix minima, range minima, integer domain, domain size, parallel algorithms, parallel algorithms, computational complexity, complexities, running time
28	Shenfeng Chen, John H. Reif	Using Difficulty of Prediction to Decrease Computation: Fast Sort, Priority Queue and Convex Hull on Entropy Bounded Inputs	FOCS	1993	DBLP DOI BibTeX RDF	computational geometry problems, entropy bounded inputs, large database operations, sort, sorting, convex hull, priority queue, compression ratio
28	Andrew Chi-Chih Yao	Lower Bounds for Algebraic Computation Trees with Integer Inputs	FOCS	1989	DBLP DOI BibTeX RDF	integer inputs, topological lower bound, algebraic computation tree model, integral-constrained form, element distinctness, set disjointness, integer max gap, Milnor-Thom techniques, lower bounds, upper bounds, convex hull, Betti numbers, algebraic varieties, algebraic computation trees
28	Yue-Sun Kuo	Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Boolean function with multiple-valued inputs, essential prime implicant, tautology checking, consensus, logic minimization, unate function
28	Michael D. Adams 0001, R. Kent Dybvig	Efficient nondestructive equality checking for trees and graphs.	ICFP	2008	DBLP DOI BibTeX RDF	dfa equivalence, eq hash tables, scheme, equality, union-find
28	Arie Matsliah, Ofer Strichman	Underapproximation for Model-Checking Based on Random Cryptographic Constructions.	CAV	2007	DBLP DOI BibTeX RDF
28	Nicolas Fourcaud-Trocmé, Nicolas Brunel	Dynamics of the Instantaneous Firing Rate in Response to Changes in Input Statistics.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	dynamical response, spiking mechanism, noise, integrate-and-fire neuron
26	Yong Sun, Yu (David) Shi, Fang Chen 0001, Vera Yuk Ying Chung	Skipping spare information in multimodal inputs during multimodal input fusion.	IUI	2009	DBLP DOI BibTeX RDF	processing of multimodal input, spare information in multimodal input
26	Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi	Left invertibility of discrete systems with finite inputs and quantized output.	CDC	2008	DBLP DOI BibTeX RDF
26	Tao Xie 0001, Jianjun Zhao 0001	A framework and tool supports for generating test inputs of AspectJ programs.	AOSD	2006	DBLP DOI BibTeX RDF	coverage measurement, software testing, aspect-oriented programs, test generation, aspect-oriented software development, AspectJ, coverage criteria
26	Madeleine M. Lowery, Zeynep Erim	A Simulation Study to Examine the Effect of Common Motoneuron Inputs on Correlated Patterns of Motor Unit Discharge.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	motor unit, common drive, model, synchronization
26	Hai Huong Dam, Hussein A. Abbass, Chris Lokan	The performance of the DXCS system on continuous-valued inputs in stationary and dynamic environments.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
26	Nikita Borisov	An Analysis of Parallel Mixing with Attacker-Controlled Inputs.	Privacy Enhancing Technologies	2005	DBLP DOI BibTeX RDF
26	David Coppit, Jiexin Lian	yagg: an easy-to-use generator for structured test inputs.	ASE	2005	DBLP DOI BibTeX RDF	grammar-based input generation, bounded exhaustive testing
26	David Brown 0004, Jianfeng Feng	Effects of Correlation and Degree of Balance in Random Synaptic Inputs on the Output of the Hodgkin-Huxley Model.	IWANN (1)	1999	DBLP DOI BibTeX RDF
26	Zhenyuan Guo, Lihong Huang	Global Output Convergence of a Class of Recurrent Delayed Neural Networks with Discontinuous Neuron Activations.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Recurrent delayed neural networks, Global output convergence, Discontinuous neuron activations, Time-varying inputs
26	Daniel J. Bernstein	How to Stretch Random Functions: The Security of Protected Counter Sums.	J. Cryptol.	1999	DBLP DOI BibTeX RDF	Unpredictable random functions, Variable-length inputs, Exact security analysis
26	Patrick Girard 0001, Christian Landrault, V. Moreda, Serge Pravossoudovitch	An optimized BIST test pattern generator for delay testing.	VTS	1997	DBLP DOI BibTeX RDF	BIST test pattern generator, robust delay fault coverage, single input change test sequence, compatible inputs, optimization, delays, built-in self-test, fault detection, delay testing, test length, area overhead, circuit under test
26	Tony Savor, Rudolph E. Seviora	Improving the efficiency of supervision by software through state aggregation.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation
24	Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail	An FIS for Early Detection of Defect Prone Modules.	ICIC (2)	2009	DBLP DOI BibTeX RDF
24	Rupak Majumdar, Ru-Gang Xu	Directed test generation using symbolic grammars.	ASE	2007	DBLP DOI BibTeX RDF	concolic execution, grammar based testing, symbolic grammars, random testing, testing C programs
24	Andreas Kleine	Efficiency Measurement of Organizations in Multi-Stage Systems.	OR	2007	DBLP DOI BibTeX RDF
24	Musa Alci	New dynamic fuzzy structure and dynamic system identification.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Dynamic fuzzy module (DFM), Non-linear dynamic system, System identification
24	Claudio A. Perez, Guillermo D. Gonzalez, Leonel E. Medina, Francisco J. Galdames	Linear versus nonlinear neural modeling for 2-D pattern recognition.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
24	Koushik Sen, Darko Marinov, Gul Agha	CUTE: a concolic unit testing engine for C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing
24	Kartik Mohanram, Nur A. Touba	Lowering power consumption in concurrent checkers via input ordering.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
24	Ramesh Karri, Grigori Kuznetsov, Michael Gössel	Parity-Based Concurrent Error Detection in Symmetric Block Ciphers.	ITC	2003	DBLP DOI BibTeX RDF
24	Rafail Lashevsky, K. Takaara, M. Souma	The efficiency of neuron-MOS transistors in threshold logic.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Neuron MOS-transistors, threshold gate with alterable parameters, threshold logic
24	Wenliang Du, Praerit Garg, Aditya P. Mathur	Security Relevancy Analysis on the Registry of Windows NT 4.0.	ACSAC	1999	DBLP DOI BibTeX RDF
24	Jignesh M. Patel, David J. DeWitt	Partition Based Spatial-Merge Join.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
22	Michele Giugliano, Giancarlo La Camera, Stefano Fusi, Walter Senn	The response of cortical neurons to in vivo-like input current: theory and experiment: II. Time-varying and spatially distributed inputs.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Populations of spiking neurons, Integrate-and-fire model, Patch clamp, Calcium spikes, Dynamics
22	C.-K. Wen, K.-K. Wong	Asymptotic Analysis of Spatially Correlated MIMO Multiple-Access Channels With Arbitrary Signaling Inputs for Joint and Separate Decoding.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
22	Sheng-Sung Yang, Chia-Lu Ho, Sammy Siu	Sensitivity Analysis of the Split-Complex Valued Multilayer Perceptron Due to the Errors of the i.i.d. Inputs and Weights.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
22	Roberta Sirovich, Laura Sacerdote, Alessandro E. P. Villa	Effect of Increasing Inhibitory Inputs on Information Processing Within a Small Network of Spiking Neurons.	IWANN	2007	DBLP DOI BibTeX RDF
22	Ahmad Hably, Nicolas Marchand	Global stabilization of a four rotor helicopter with bounded inputs.	IROS	2007	DBLP DOI BibTeX RDF
22	Siavash Bayat Sarmadi, M. Anwar Hasan	Detecting errors in a polynomial basis multiplier using multiple parity bits for both inputs.	ICCD	2007	DBLP DOI BibTeX RDF
22	Xipeng Shen, Feng Mao	Modeling Relations between Inputs and Dynamic Behavior for General Programs.	LCPC	2007	DBLP DOI BibTeX RDF
22	Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid	Korat: A Tool for Generating Structurally Complex Test Inputs.	ICSE	2007	DBLP DOI BibTeX RDF
22	Fabrice Rossi, Brieuc Conan-Guez	Theoretical Properties of Projection Based Multilayer Perceptrons with Functional Inputs.	Neural Process. Lett.	2006	DBLP DOI BibTeX RDF	consistency, projection, multilayer perceptron, functional data analysis, universal approximation
22	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France	A Systematic Approach to Generate Inputs to Test UML Design Models.	ISSRE	2006	DBLP DOI BibTeX RDF
22	Theoden I. Netoff, Corey D. Acker, Jonathan C. Bettencourt, John A. White	Beyond Two-Cell Networks: Experimental Measurement of Neuronal Responses to Multiple Synaptic Inputs.	J. Comput. Neurosci.	2005	DBLP DOI BibTeX RDF	entorhinal cortex, dynamic clamp, weak coupling, oscillations, phase response curve
22	Jan Lunze, Jochen Schröder	Sensor and actuator fault diagnosis of systems with discrete inputs and outputs.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
22	Chen-Ling Chou, Chun-Yao Wang, Geeng-Wei Lee, Jing-Yang Jou	Graph Automorphism-Based Algorithm for Determining Symmetric Inputs.	ICCD	2004	DBLP DOI BibTeX RDF
22	Xipeng Shen, Yutao Zhong 0001, Chen Ding 0001	Phase-Based Miss Rate Prediction Across Program Inputs.	LCPC	2004	DBLP DOI BibTeX RDF
22	Srinivas Visvanathan, Neelam Gupta	Generating Test Data for Functions with Pointer Inputs.	ASE	2002	DBLP DOI BibTeX RDF	iterative relaxation methods, Test data generation, dynamic data structures, path testing
22	Cheng-Shang Chang, Yuh-Ming Chiu, Wheyming Tina Song	Large deviation analysis for multiplexing independent regulated inputs.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
22	Cheng-Shang Chang, Yuh-Ming Chiu, Wheyming Tina Song	On the performance of multiplexing independent regulated inputs.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF	multiplexing, performance bounds, fast simulation
22	Lluís Belanche, Julio J. Valdés	Fuzzy Inputs and Missing Data in Similarity-Based Heterogeneous Neural Networks.	IWANN (2)	1999	DBLP DOI BibTeX RDF
22	Jianfeng Feng	Integrate-and-Fire Model with Correlated Inputs.	IWANN (1)	1999	DBLP DOI BibTeX RDF
22	Irith Pomeranz, Sudhakar M. Reddy	On determining symmetries in inputs of logic circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
22	Chris Christodoulou, Guido Bugmann, Trevor G. Clarkson, John G. Taylor	The Temporal Noisy-Leaky Integrator Neuron with Additional Inhibitory Inputs.	IWANN	1993	DBLP DOI BibTeX RDF
22	Tsong Yueh Chen, Robert G. Merkel	An upper bound on software testing effectiveness.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	failure patterns, failure-causing inputs, testing effectiveness metrics, Software testing, random testing, adaptive random testing
22	Davy Sannen, Marnix Nuttin, Jim E. Smith, Muhammad Atif Tahir, Praminda Caleb-Solly, Edwin Lughofer, Christian Eitzinger	An On-Line Interactive Self-adaptive Image Classification Framework.	ICVS	2008	DBLP DOI BibTeX RDF	on-line adaptation and evolution, resolving contradictory inputs, feature extraction, Image classification, classifier ensembles
22	Ian F. Blake, Vladimir Kolesnikov	Conditional Encrypted Mapping and Comparing Encrypted Numbers.	Financial Cryptography	2006	DBLP DOI BibTeX RDF	Two Millionaires with encrypted inputs, private selective payments, conditional encrypted mapping, auctions
22	Marie-Luce Bourguet	Outil de prototypage pour la conception et l'evaluation d'interfaces utilisateur multimodales.	IHM	2002	DBLP DOI BibTeX RDF	prototyping, finite state machines, interaction models, multimodal inputs
22	John Y. Lin, Ying Wu 0001, Thomas S. Huang	Modeling the Constraints of Human Hand Motion.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	human hand motion, motion constraint modelling, hand motion capture, large search space, learning approach, hand configuration space, lower-dimensional subspace, finger motion, linear behavior, video inputs, optimisation, redundancy, gesture recognition, nonlinear optimization, gesture interfaces, biomechanics, equalities, data gloves, inequalities, redundancy elimination, constraint theory, image motion analysis, articulated motion, CyberGlove
22	Ruofan Xu, Michael S. Hsiao	Embedded core testing using genetic algorithms.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	gate level implementation, user defined logic, random inputs, high level benchmarks, wrapper size, genetic algorithms, genetic algorithms, fault diagnosis, logic testing, controllability, controllability, high level synthesis, automatic test pattern generation, observability, observability, application specific integrated circuits, fault coverage, SOC, test application time, test patterns, embedded core testing, internal state
22	Vikrant Pandey, Wee Keong Ng, Ee-Peng Lim	Financial Advisor Agent in a Multi-Agent Financial Trading System.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	financial advisor agent, multi agent financial trading system, agent based technology, financial instruments, analysis information, financial portfolio, stock prices, autonomous actions, user-established criteria, financial information retrieval, client portfolio, Web sites, electronic trading, user inputs
22	Yuan Zou, William T. M. Dunsmuir	Generalized Max/Median Filtering.	ICIP (1)	1997	DBLP DOI BibTeX RDF	generalized max/median filtering, output distribution, independent inputs, regular max/median filtering, image details preservation, generalized multistage median filtering, Laplacian noise, image processing, statistical analysis, Gaussian noise, noise suppression
22	Min-Cheol Hong, Moon Gi Kang, Aggelos K. Katsaggelos	An Iterative Weighted Regularized Algorithm for improving the resolution of Video Sequences.	ICIP (2)	1997	DBLP DOI BibTeX RDF	iterative weighted regularized algorithm, multiple input smoothing convex functional, multiple inputs, bilinearly interpolated image, temporal domain, motion estimation, resolution, video sequences, spatial domain, point spread function, optical transfer function
22	Michele Crudele, Gordon Clapworthy, Meleagros A. Krokos, Giuliano Salcito, Nickos Vasilonikolidakis	A distributed database on the Internet of 3D models of human pathological organs.	CBMS	1997	DBLP DOI BibTeX RDF	human pathological organs, fly-through functionality, enhanced manipulation, animation sequences, Internet, Internet, information retrieval, education, distributed database, rendering, medical imaging, 3D models, MRI, CT, personal computer, end users, stereoscopic display, virtual endoscopy, three dimensional models, research project, cataloguing, multi-modal inputs, interactive manipulation
22	J. Jenny Li, Hong Liu, Rudolph E. Seviora	Constructing automated protocol testing oracles to accommodate specification nondeterminism.	ICCCN	1997	DBLP DOI BibTeX RDF	automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
22	Neil Garner, David M. Howard 0001, P. A. Barrett, Andrew M. Tyrrell	A Parallel Processing Environment for Speech Signal Processing Applications.	PDP	1996	DBLP DOI BibTeX RDF	parallel processing environment, speech signal processing applications, 1 dimensional signal processing problem, multiple inputs, multiple outputs, interconnected signal processing functions, MIMD format, user defined structure, communication based parallel processing format, serial machine, vocoders, filterbank speech analysis, T800 transputers, parallel programming, software tool, speech recognition, pipeline processing, speech processing, transputers, transputers, Occam, speech enhancement, transputer systems, pipeline parallelism
22	Julien Dunoyer, Nizar Abdallah, Pirouz Bazargan-Sabet	A symbolic simulation approach in resolving signals' correlation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	signal resolution, signal correlation resolution, symbolic simulation approach, evaluation package, signal transition density, specification levels, first order clue, independent inputs, binary decision diagram concept, algorithms, VLSI, probability, logic CAD, digital simulation, design process, decision theory, circuit analysis computing, integrated circuit design, circuit CAD, digital circuits, subroutines, symbol manipulation, power dissipation, correlation methods, digital integrated circuits, signal probability, probabilistic approach, synthesis tools
22	Fidel Muradali, Janusz Rajski	A self-driven test structure for pseudorandom testing of non-scan sequential circuits.	VTS	1996	DBLP DOI BibTeX RDF	self-driven test structure, primary inputs, nonscan sequential circuits, test point structure, parallel pseudorandom test patterns, test mode flag, stuck-at fault coverage, ISCAS-89 benchmarks, logic testing, built-in self test, integrated circuit testing, design for testability, sequential circuits, BIST, automatic testing, circuit under test
22	Nur A. Touba, Edward J. McCluskey	Test point insertion based on path tracing.	VTS	1996	DBLP DOI BibTeX RDF	probabilistic techniques, primary inputs, insertion methods, VLSI, VLSI, fault diagnosis, logic testing, logic testing, probability, built-in self test, timing, integrated circuit testing, BIST, automatic testing, fault coverage, test point insertion, path tracing, circuit-under-test
22	Mallika De, Bhabani P. Sinha	Testing of a parallel ternary multiplier using I2L logic.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	integrated injection logic, parallel ternary multiplier, I/sup 2/L logic, multivalued I/sup 2/L circuits, input balanced ternary full adder, precarry generator, multivalued current inputs, multivalued current outputs, generated test sets, skew fault, fault diagnosis, logic testing, design for testability, logic design, digital arithmetic, fault location, stuck-at fault, generalized model, adders, adder, multiplying circuits, multivalued logic circuits, test sets, parallel multiplier
22	Jorge I. Auñón, Tomás Aljama	Evoked Potentials and Intersensory Information Processing.	CBMS	1995	DBLP DOI BibTeX RDF	auditory evoked potentials, visual evoked potentials, bisensory evoked potential, intersensory information processing, sensory modality, sensory inputs, cognitive function, interstimulus interval, auditory stimulus, visual stimulus, 100 ms, visual perception, human perception
22	Takahiro Hanyu, Akira Mochizuki, Michitaka Kameyama	Multiple-Valued Arithmetic Integrated Circuits Based on 1.5V-Supply Dual-Rail Source-Coupled Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	multiple-valued arithmetic integrated circuits, dual-rail source-coupled logic, multiple-valued current-mode MOS integrated circuit, high-speed arithmetic systems, multiple-valued source-coupled logic circuit, dual-rail complementary inputs, pipelined multiplier, 54 bit, 200 MHz, 0.8 mum, 1.5 V, CMOS logic circuits, multiplying circuits, multivalued logic circuits, current-mode logic, pipeline arithmetic
22	Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain	Extraction of finite state machines from transistor netlists by symbolic simulation.	ICCD	1995	DBLP DOI BibTeX RDF	finite state machine extraction, transistor netlists, clock level finite state machines, gate level representation, circuit clocking, output timing, simulation patterns, next state, output function, equivalent FSM, static storage structures, time multiplexed inputs, time multiplexed outputs, finite state machines, logic design, logic CAD, circuit analysis computing, FSMs, symbolic simulation, symbolic simulator, Ordered Binary Decision Diagrams
22	Beata M. Lobert, Brenda Massetti, Robert J. Mockler, Dorothy G. Dologite	Towards a managerial model of creativity in information systems.	HICSS (4)	1995	DBLP DOI BibTeX RDF	managerial model, organizational creativity, organizational inputs, creative outputs, organizational outcomes, IS organization, organizational effectiveness, information systems, information systems, business data processing, strategic planning, business value, creative processes, strategic management
22	Moon Jeung Joe, Huen Joo Lee	A combined method on the handwritten character recognition.	ICDAR	1995	DBLP DOI BibTeX RDF	data inputs, online character recognition schemes, Korean characters, character recognition, handwriting recognition, handwritten character recognition, geometric features
22	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
22	Daniel Hoffman, Paul A. Strooper	Automated Module Testing in Prolog.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs