Search results for "tests"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Djamshid Tavangarian, Christian Elm	Acceleration of RAM-Tests with Associative Pattern Recognition Methods.	Fault-Tolerant Computing Systems	1991	DBLP DOI BibTeX RDF
16	Amruth N. Kumar	Closed labs in computer science I revisited in the context of online testing.	SIGCSE	2010	DBLP DOI BibTeX RDF	computer science i, retention, online testing, closed lab
16	Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap	An Approach for Test Selection for EFSMs Using a Theorem Prover.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
16	Kathryn E. Gray, Alan Mycroft	Logical Testing.	FASE	2009	DBLP DOI BibTeX RDF
16	Sanjoy K. Baruah, Nathan Fisher	Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Multiprocessor platforms, Recurrent tasks, Schedulability analysis, Fixed-priority scheduling, Sufficient conditions, Feasibility analysis
16	Irith Pomeranz, Sudhakar M. Reddy	Scan-Based Delay Test Types and Their Effect on Power Dissipation During Test.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Johnny Park, Avinash C. Kak	3D Modeling of Optically Challenging Objects.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
16	Ganesh Srinivasan, Friedrich Taenzler, Abhijit Chatterjee	Loopback DFT for Low-Cost Test of Single-VCO-Based Wireless Transceivers.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF	wafer probe test, test yield, loopback test, DFT, RF test, low-cost test
16	Krzysztof Rogoz, Tomasz Padlo	The Role of Stability Testing in Heterogeneous Application Environment.	ICST	2008	DBLP DOI BibTeX RDF	Stability Testing, Performance, memory leak, Solaris
16	Di Cao	Oil-Field Services' Data Acquisition System - A Globally Distributed Development.	COMPSAC	2008	DBLP DOI BibTeX RDF
16	Manuel Núñez 0001, Luis Fernando Llana Díaz	A Hierarchy of Equivalences for Probabilistic Processes.	FORTE	2008	DBLP DOI BibTeX RDF
16	Vidar Kongsli	Security testing with Selenium.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	misuse stories, security, testing, agile
16	Philip Zigoris, Hongxia Jin	Bayesian Methods for Practical Traitor Tracing.	ACNS	2007	DBLP DOI BibTeX RDF
16	Kartic Subr, James Arvo	Statistical Hypothesis Testing for Assessing Monte Carlo Estimators: Applications to Image Synthesis.	PG	2007	DBLP DOI BibTeX RDF
16	Fevzi Belli, Mubariz Eminov, Nida Gökçe	Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study.	LADC	2007	DBLP DOI BibTeX RDF	Software Testing, Fuzzy Clustering, Test Prioritizing
16	Charles X. Ling, Victor S. Sheng, Qiang Yang 0001	Test Strategies for Cost-Sensitive Decision Trees.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	classification, Induction, concept learning, mining methods and algorithms
16	Bernd Mathiske, Douglas N. Simon, Dave Ungar	The Project Maxwell assembler system.	PPPJ	2006	DBLP DOI BibTeX RDF	assembler generator, cross assembler, domain-specific framework, the Java language, Java, automated testing, systems programming, disassembler
16	Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller 0003	TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.	ASWSD	2006	DBLP DOI BibTeX RDF
16	César Viho	Test distribution: a solution for complex network system testing.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Test, Protocols, Interoperability, Distribution, Conformance
16	Hakan Erdogmus, Maurizio Morisio, Marco Torchiano	On the Effectiveness of the Test-First Approach to Programming.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	General programming techniques, Software Quality/SQA, productivity, testing strategies, programming paradigms, testing and debugging, software engineering process, coding tools and techniques
16	Sounil Biswas, Peng Li 0001, R. D. (Shawn) Blanton, Larry T. Pileggi	Specification Test Compaction for Analog Circuits and MEMS.	DATE	2005	DBLP DOI BibTeX RDF
16	Hyungna Oh, Timothy Mount	Testing the Effects of Holding Forward Contracts On the Behavior of Suppliers in an Electricity Auction.	HICSS	2005	DBLP DOI BibTeX RDF
16	Shengli Sheng, Charles X. Ling, Qiang Yang 0001	Simple Test Strategies for Cost-Sensitive Decision Trees.	ECML	2005	DBLP DOI BibTeX RDF
16	David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst	Automatic test factoring for java.	ASE	2005	DBLP DOI BibTeX RDF	test factoring, unit testing, mock objects
16	C. P. Ravikumar, R. Dandamudi, V. R. Devanathan, N. Haldar, K. Kiran, P. S. Vijay Kumar	A Framework for Distributed and Hierarchical Design-for-Test.	VLSI Design	2005	DBLP DOI BibTeX RDF
16	Ralph Bohnet, Gerard Meszaros	Test-Driven Porting.	AGILE	2005	DBLP DOI BibTeX RDF	Porting legacy applications, Test-Driven porting
16	Patricio Bulic, Veselko Gustin	Fast Dependence Analysis in a Multimedia Vectorizing Compiler.	PDP	2004	DBLP DOI BibTeX RDF
16	Patricio Bulic, Veselko Gustin	On Dependence Analysis for SIMD Enhanced Processors.	VECPAR	2004	DBLP DOI BibTeX RDF
16	Irith Pomeranz, Sudhakar M. Reddy	Static Test Compaction for Full-Scan Circuits Based on Combinational Test Sets and Non-Scan Sequential Test Sequences.	VLSI Design	2003	DBLP DOI BibTeX RDF
16	Bret Pettichord, Brian Marick	Agile Acceptance Testing.	XP/Agile Universe	2002	DBLP DOI BibTeX RDF
16	J. Jenny Li, W. Eric Wong	Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	CEFSM, specification, test generation, SDL
16	Xiao Liu 0010, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran	Techniques to Reduce Data Volume and Application Time for Transition Test.	ITC	2002	DBLP DOI BibTeX RDF
16	Evangelos Kranakis, Andrzej Pelc	Better Adaptive Diagnosis of Hypercubes.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	test, hypercube, fault, Adaptive diagnosis
16	Irith Pomeranz, Sudhakar M. Reddy	Reducing test application time for full scan circuits by the addition of transfer sequences.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	transfer sequences, primary input vectors, scan-in operation, scan-out operation, static compaction procedure, compaction levels, fault diagnosis, logic testing, design for testability, fault detection, automatic testing, boundary scan testing, test set, test application time, full scan circuits
16	Glenn R. Luecke, Bruno Raffin, James Coyle	Comparing the Communication Performance and Scalability of a Linux and an NT Cluster of PCs, a Cray Origin 2000, an IBM SP and a Cray T3E-600.	IWCC	1999	DBLP DOI BibTeX RDF	Cray Origin 2000, Cray T3E-600, IBM SP, Cluster of PCs Running Window NT, Cluster of PCs Running Linux, Myrinet Network, MPI Library, Scalability, Parallel Computers, Communication Performance
16	Wanli Jiang, Bapiraju Vinnakota	Defect-Oriented Test Scheduling.	VTS	1999	DBLP DOI BibTeX RDF
16	Pramodchandran N. Variyam, Junwei Hou, Abhijit Chatterjee	Efficient Test Generation for Transient Testing of Analog Circuits Using Partial Numerical Simulation.	VTS	1999	DBLP DOI BibTeX RDF
16	Ole Caprani, Kaj Madsen, Ole Stauning	Existence Test for Asynchronous Interval Iteration.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
16	Duncan Clarke, Insup Lee 0001	Automatic Test Generation for the Analysis of a Real-Time System: Case Stud.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
16	Elena Dubrova, Jon C. Muzio	Testability of Generalized Multiple-Valued Reed-Muller Circuits.	ISMVL	1996	DBLP DOI BibTeX RDF
16	Mukund Sivaraman, Andrzej J. Strojwas	Diagnosis of parametric path delay faults.	VLSI Design	1996	DBLP DOI BibTeX RDF	parametric path delay faults, chip failure, fabrication process parameter values, path sensitization mechanism, path delay conditions, ISCAS'89 benchmark circuits, path segment, circuit failure, fault diagnosis, logic testing, logic testing, delays, probability, probability, statistical analysis, statistical analysis, integrated circuit testing, failure analysis, diagnosability, delay fault testing, IC testing, production testing
16	Savita Banerjee, Srimat T. Chakradhar, Rabindra K. Roy	Synchronous Test Generation Model for Asynchronous Circuits.	VLSI Design	1996	DBLP DOI BibTeX RDF
16	Beyin Chen, Chung-Len Lee 0001	Universal test set generation for CMOS circuits.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	functional testing, automatic test generation, CMOS circuits, stuck-open faults, universal test set
16	Jung-Cheun Lien, Melvin A. Breuer	Test program synthesis for modules and chips having boundary scan.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Board and system test, test controllers, test program synthesis, built-in self-test, design-for-test, boundary scan
16	Charles R. Blair	On Computer Transcription of Manual Morse.	J. ACM	1959	DBLP DOI BibTeX RDF
16	Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002	Customising Web Information Systems According to User Preferences.	World Wide Web	2009	DBLP DOI BibTeX RDF	critical pair completion, media type, deontic constraint, preference rule, termination, term rewriting, personalisation, web information system, Church-Rosser property, Kleene algebra with tests
16	Chaehan So, Wolfgang Scholl	Perceptive Agile Measurement: New Instruments for Quantitative Studies in the Pursuit of the Social-Psychological Effect of Agile Practices.	XP	2009	DBLP DOI BibTeX RDF	iteration planning, stand-up meetings, customer acceptance tests, customer access, test-driven development, continuous integration, co-location, retrospectives, agile practices, iterative approach, measurement instruments
16	Sari Haj Hussein	The hush cryptosystem.	SIN	2009	DBLP DOI BibTeX RDF	base64, grammatical substitution, randomness degree, redundant data percentage, sentence substitution, word substitution, hidden markov models, statistical tests
16	Jeewani Anupama Ginige, Athula Ginige	An Algorithm for Propagating-Impact Analysis of Process Evolutions.	UNISCON	2009	DBLP DOI BibTeX RDF	Propagating-impact, Process Modelling, Impact Analysis, Algebraic Modelling, Process Evolution, Kleene Algebra with Tests
16	Andreia Rodrigues, Plácido Rogério Pinheiro, Maikol Magalhães Rodrigues, Adriano Bessa Albuquerque, Francisca Márcia G. S. Gonçalves	Towards the Selection of Testable Use Cases and a Real Experience.	WSKS (2)	2009	DBLP DOI BibTeX RDF	Decision and Analysis Resolution, Tests, Multiple Criteria Decision Analysis
16	Anjaneyulu Pasala, Yannick L. H. Lew Yaw Fung, Fady Akladios, Appala Raju G., Ravi Prakash Gorthi	Selection of Regression Test Suite to Validate Software Applications upon Deployment of Upgrades.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Software Mqaintenance, Software Testing, Change Impact Analysis, Regression Tests Selection
16	Xiaohai Sun	Distribution-Free Learning of Bayesian Network Structure.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF	independence tests, kernel methods, graphical models
16	Nikolaos Korfiatis, Daniel Rodríguez 0001, Miguel-Ángel Sicilia	The Impact of Readability on the Usefulness of Online Product Reviews: A Case Study on an Online Bookstore.	WSKS (1)	2008	DBLP DOI BibTeX RDF	Readbility tests, Online services
16	Jie Shao 0001, Zi Huang, Heng Tao Shen, Jialie Shen 0001, Xiaofang Zhou 0001	Distribution-based similarity measures for multi-dimensional point set retrieval applications.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	multi-dimensional point set, similarity measures, hypothesis tests, reproducing kernel hilbert space, minimal spanning tree, non-parametric
16	Victor Ximenes, Filipe Levi	Integrando testes de usabilidade em projetos sigilosos.	IHC	2008	DBLP BibTeX RDF	nondisclosure agreement, usability tests, software development process, recruitment
16	Pilar Caamaño, Francisco Bellas, José Antonio Becerra, Richard J. Duro	Application domain study of evolutionary algorithms in optimization problems.	GECCO	2008	DBLP DOI BibTeX RDF	algorithm characterization, comparison tests, optimization benchmarks, evolutionary algorithms, error measures
16	Sylvia B. Encheva, Sharil Tumin	On Drawing Conclusions in Presence of Inconsistent Data.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	five-valued logic, automated tests
16	Françoise Tort, François-Marie Blondel, Eric Bruillard	Spreadsheet Knowledge and Skills of French Secondary School Students.	ISSEP	2008	DBLP DOI BibTeX RDF	ICT competencies, informatics curriculum, spreadsheet software, computer tests
16	Patricio García Báez, Carlos Fernández Viadero, José Regidor García, Carmen Paz Suárez Araujo	An Ensemble Approach for the Diagnosis of Cognitive Decline with Missing Data.	HAIS	2008	DBLP DOI BibTeX RDF	Alzheimer’s Disease, Cognitive Tests, k-fold Cross-validation, Counterpropagation, Multi-net, Artificial Neural Network, Diagnosis, Ensemble, Missing Data, Dementia, Modular Neural Network, Cognitive Decline
16	Xuping Zhang, James K. Mills, William L. Cleghorn	Dynamic Modeling and Experimental Validation of a 3-PRR Parallel Manipulator with Flexible Intermediate Links.	J. Intell. Robotic Syst.	2007	DBLP DOI BibTeX RDF	Assumed mode method, Experimental modal tests, Frequency spectra, Parallel manipulators, Flexible manipulators
16	Markus Schmidt 0001, Michael Rudolph 0001, Bernd Werther, Christoph Möhlenbrink, Norbert Fürstenau	Development of an Augmented Vision Video Panorama Human-Machine Interface for Remote Airport Tower Operation.	HCI (9)	2007	DBLP DOI BibTeX RDF	Airport tower, video panorama, augmented vision, cognitive modelling, traffic control, field tests, work analysis, remote operation
16	David G. Jones, Gordon R. Cameron	Improving quality together.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	project rhythms, team awareness, testing visualization, metrics, eclipse, test-driven development, automated tests, process visualization
16	Sylvia B. Encheva, Sharil Tumin	Management of Inconsistent Data.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF	five-valued logic, automated tests
16	Kee Yong Lim, Jiajin Wu	Assessment of the training efficacy afforded by a low cost night vision goggle simulator.	ECCE	2007	DBLP DOI BibTeX RDF	digitally created simulated NVG images, night vision goggles, simulation fidelity, transfer of training tests, training simulator
16	Wolfgang Hürst, Sabine Jung, Martina Welte	Effective learn-quiz generation for handheld devices.	Mobile HCI	2007	DBLP DOI BibTeX RDF	Apple iPod, learn-quizzes, multiple choice tests, mobile learning
16	Ariel E. Bayá, Mónica G. Larese, Pablo M. Granitto, Juan Carlos Gomez, Elizabeth Tapia	Gene Set Enrichment Analysis Using Non-parametric Scores.	BSB	2007	DBLP DOI BibTeX RDF	GSEA, gene ranking, non-parametric statistical tests, statistical significance, DNA microarrays
16	Soumendu Bhattacharya, Abhijit Chatterjee	A DFT Approach for Testing Embedded Systems Using DC Sensors.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	computer-aided design, test generation, built-in tests, reliability and testing
16	Paul Ogilvie, Mounia Lalmas	Investigating the exhaustivity dimension in content-oriented XML element retrieval evaluation.	CIKM	2006	DBLP DOI BibTeX RDF	XML evaluation, relevance, statistical tests, INEX
16	Jochen Ehnes, Michitaka Hirose	Finding the Perfect Projection System - Human Perception of Projection Quality Depending on Distance and Projection Angle.	EUC	2006	DBLP DOI BibTeX RDF	Perceived Projection Quality, Projection Based Augmented Reality, Application Roaming, Distributed Augmented Reality, Multi Projection System, User Tests, Projector Camera System, Spatial Augmented Reality
16	Roberto Therón, Vidal Moreno, Belén Curto, Francisco J. Blanco	Collision Detection Trough Deconstruction of Articulated Objects.	AMDO	2006	DBLP DOI BibTeX RDF	interference tests, collision detection, motion planning
16	Rachel Demumieux, Patrick Losquin	Collecter les usages réels des clients de téléphonie mobile (un outil embarqué).	IHM	2005	DBLP DOI BibTeX RDF	usability, mobiles phones, methods, user tests, field trial, usages, log Files
16	Rachel Demumieux, Patrick Losquin	Gather customer's real usage on mobile phones.	Mobile HCI	2005	DBLP DOI BibTeX RDF	usability, mobiles phones, methods, user tests, field trial, usages, log files
16	Francesco Bellotti, Alessandro De Gloria, Andrea Poggi, Luisa Andreone, S. Damiani, P. Knoll	Designing configurable automotive dashboards on liquid crystal displays.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Digital automotive dashboards, Road user tests, Liquid crystal displays, Multimedia systems, Human-machine interaction, Graphics design, Car, Runtime configurability
16	Radu Stoica, Xavier Descombes, Josiane Zerubia	A Gibbs Point Process for Road Extraction from Remotely Sensed Images.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	Gibbs point processes, Candy model, reversible jump MCMC dynamics, aerial and satellite images, hypothesis tests, road extraction
16	Robert McGorman, Jalal Almhana, Vartan Choulakian, Zikuan Liu, W. Jedidi	Similarities between Voice and High Speed Internet Traffic Provisioning.	CNSR	2004	DBLP DOI BibTeX RDF	high speed internet traffic, voice over packet, peak load models, self-similarity, capacity planning, Hurst parameter, goodness-of-fit tests
16	Geoff Sobering, Levi Cook, Steve Anderson	Pseudo-classes: very simple and lightweight mockObject-like classes for unit-testing.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	TFD, mockObjects, pseudoObjects, test-first-design, unit-tests, TDD, test-driven-development
16	Henry S. Baird, Kris Popat	Human Interactive Proofs and Document Image Analysis.	Document Analysis Systems	2002	DBLP DOI BibTeX RDF	abuse of web sites and services, the chatroom problem, human/machine discrimination, OCR performance evaluation, legibility of text, document image analysis, CAPTCHAs, Turing tests, Human interactive proofs, document image degradations
16	Ken'ichirou Kimura, Hirofumi Amano, Akifumi Makinouchi	Dynamic Performance Optimization Mechanism for Parallel Object-Oriented Database Programming Languages.	IDEAS	2000	DBLP DOI BibTeX RDF	dynamic performance optimization, parallel object-oriented database programming languages, distributed-memory parallel processor, remote object referencing, biased distribution, object relocation, simulation tests, topology, parallel languages, performance degradation, inter-processor communication, load imbalance, object allocation
16	Zaid Al-Ars, Ad J. van de Goor	Impact of memory cell array bridges on the faulty behavior in embedded DRAMs.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	memory cell array bridges, memory fault models, dynamic faulty behavior, dynamic RAM, fault simulation, memory tests, circuit simulation, random-access storage, integrated memory circuits, functional faults, embedded DRAMs, faulty behavior, fault primitives
16	Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, Parimal Pal Chaudhuri, Rob Roy	Fsimac: a fault simulator for asynchronous sequential circuits.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	Fsimac, gate-level fault simulator, Muller C-elements, complex domino gates, high-speed design, min-max timing analysis, min-max rime stamps, CA-BIST, waveform model, logic testing, built-in self test, timing, cellular automata, Cellular Automata, sequential circuits, iterative methods, fault simulation, fault simulator, asynchronous circuits, stuck-at faults, iterations, delay faults, combinational logic, feedback loops, pseudo-random tests, gate-delay faults, asynchronous sequential circuits
16	Andreas Wespi, Marc Dacier, Hervé Debar	Intrusion Detection Using Variable-Length Audit Trail Patterns.	Recent Advances in Intrusion Detection	2000	DBLP DOI BibTeX RDF	Teiresias, variable-length patterns, C2 audit trail, functionality verification tests, Intrusion detection, pattern matching, pattern discovery
16	Wei-Cheng Lai, Angela Krstic, Kwang-Ting Cheng	On Testing the Path Delay Faults of a Microprocessor Using its Instruction Set.	VTS	2000	DBLP DOI BibTeX RDF	Microprocessor self-testing, Path delay fault classification, Functionally testable paths, Functional tests, Delay fault testing
16	Ramesh C. Tekumalla	On Test Set Generation for Efficient Path Delay Fault Diagnosis.	VTS	2000	DBLP DOI BibTeX RDF	Sensitizability, test generation, diagnosis, delay faults, robust tests
16	Vittorio Bagini, Marco Bucci	A Design of Reliable True Random Number Generator for Cryptographic Applications.	CHES	1999	DBLP DOI BibTeX RDF	tests for randomness, cryptography, noise, True random number generators
16	Sasikumar Punnekkat, Alan Burns 0001	Analysis of checkpointing for schedulability of real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	exact schedulability tests, fault tolerant task sets, failure hypothesis, task response time, off-line design support tool, schedulability, fault tolerance, real-time systems, real-time systems, checkpointing, fault recovery, time redundancy
16	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Formal specification applied to industrial LAN's design.	EUROMICRO	1997	DBLP DOI BibTeX RDF	industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language
16	Akira Koseki, Hideaki Komatsu, Yoshiaki Fukazawa	A method for estimating optimal unrolling times for nested loops.	ISPAN	1997	DBLP DOI BibTeX RDF	reuse of data, benchmark tests, parallelization, parallelism, heuristic algorithm, heuristic programming, nested loops, loop unrolling
16	J. R. Carnes, Amit Misra, Janos Sztipanovits	Model-integrated toolset for fault detection, isolation and recovery (FDIR).	ECBS	1996	DBLP DOI BibTeX RDF	space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
16	Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead 0001, Gary P. Trio	A tree-based classification model for analysis of a military software system.	HASE	1996	DBLP DOI BibTeX RDF	tree based classification model, military software systems analysis, tactical military software, software function, military personnel, tree based modeling method, fault prone software modules, Joint Surveillance Target Attack Radar System, JSTPARS, large tactical military system, decision tree model, software product metrics, spiral life cycle, highly reliable final product, fault prone class, TREED-ISC algorithm, CHAID algorithm, independent variables, statistically significant relationships, military computing, fault prone modules, chi squared tests, mission critical
16	James F. Leathrum, K. A. Liburdy	A formal approach to requirements based testing in open systems standards.	ICRE	1996	DBLP DOI BibTeX RDF	requirements based testing, IEEE POSIX arena, open systems standards, full scale conformance test suite development, executable tests, Clemson Automated Testing System, design taxonomy, IEEE Std 10035-The Ada Language Binding to POSIX, formal specification, testing, systems analysis, open systems, conformance testing, IEEE standards, software standards, automatic translation, test requirements, formal approach
16	Hong Helena Zheng, Ashok Balivada, Jacob A. Abraham	A novel test generation approach for parametric faults in linear analog circuits .	VTS	1996	DBLP DOI BibTeX RDF	digital test software, time-domain tests, equivalent digital circuit, digital test vectors, test waveform, VLSI, test generation, integrated circuit testing, fault location, stuck-at faults, analogue integrated circuits, parametric faults, linear analog circuits, time-domain analysis, equivalent circuits, analogue processing circuits
16	Zoltan Kato, Josiane Zerubia, Marc Berthod	Unsupervised Parallel Image Classificiation Using a Hierarchical Markovian Model.	ICCV	1995	DBLP DOI BibTeX RDF	unsupervised parallel image classification, hierarchical Markovian model, segmentation problem, hidden label field parameters, observable image, iterative conditional estimation, estimation-maximization algorithm, tentative labeling, Connection Machine CM200, comparative tests, noisy synthetic images, noisy real images, computer vision, image segmentation, parallel processing, Markov random fields, Markov processes, iterative methods, image classification, remote sensing, remote sensing, maximum likelihood estimation, maximum likelihood estimate, random processes, hierarchical systems, maximum a posteriori estimate, model parameters
16	Moreno Coli, Paolo Palazzari	An adaptive deadlock and livelock free routing algorithm.	PDP	1995	DBLP DOI BibTeX RDF	livelock free routing algorithm, store and forward deadlocks, interprocessor network systems, buffered packet switched communications, DL free routing, nonadaptive routing modality, interconnection network bandwidth, communication topology, adaptive DL free routing, network buffers, casual movement, transputer based parallel machine, fault tolerant computing, multiprocessor interconnection networks, packet switching, adaptive systems, performance tests, deadlock free routing, fault tolerance capabilities
16	Janusz A. Brzozowski, Kaamran Raahemifar	Testing C-elements is not elementary.	ASYNC	1995	DBLP DOI BibTeX RDF	C-elements testing, gate circuits, C-element, CMOS implementations, logic testing, logic tests, asynchronous circuits, fault location, stuck-at faults, speed-independence
16	Abu Khari bin A'Ain, A. H. Bratt, A. P. Dorey	On the development of power supply voltage control testing technique for analogue circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	power supply circuits, voltage control, power supply voltage control testing, hard defects, soft defects, simulation, fault diagnosis, integrated circuit testing, data analysis, data analysis, circuit analysis computing, operational amplifiers, operational amplifier, analogue integrated circuits, IC tests, analogue circuits
16	Rod Fatoohi	Performance evaluation of communication networks for distributed computing.	ICCCN	1995	DBLP DOI BibTeX RDF	HiPPI, IBM Allnode switch, DaVinci, SGI R8000 workstations, NASA Ames, LACE, IBM RS6000 workstations, NASA Lewis, IBM SP2 machine, communication tests, programming levels, ttcp program, peak rates, BSD socket programming interface, PVM message passing library, performance evaluation, performance evaluation, distributed computing, ATM, communication networks, Ethernet, testbeds, high speed networks, FDDI, performance results, Fibre Channel
16	Dimitris Gizopoulos, Dimitris Nikolos, Antonis M. Paschalis	Testing combinational iterative logic arrays for realistic faults.	VTS	1995	DBLP DOI BibTeX RDF	combinational iterative logic arrays, realistic faults, two-dimensional logic arrays, one-dimensional logic arrays, n-pattern tests, linear-testability, efficient test set, ILA, VLSI, fault diagnosis, logic testing, integrated circuit testing, combinational circuits, cellular arrays, logic arrays, C-testability, cell fault model
16	Sunggu Lee, Kang G. Shin	On Probabilistic Diagnosis of Multiprocessor Systems Using Multiple Syndromes.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	probabilistic diagnosis, multiple syndromes, distributedself-diagnosis, comparison testing, diagnostic accuracy, sparseinterconnection networks, interprocessor tests, low fault coverage, system-leveldiagnosis, performance evaluation, fault tolerant computing, probability, multiprocessor, multiprocessing systems, multiprocessor systems, multicomputer, self-test, intermittent fault, diagnosis algorithms, fault-tolerantcomputing
16	Daniel Lenoski, James Laudon, Truman Joe, David Nakahira, Luis Stevens, Anoop Gupta, John L. Hennessy	The DASH Prototype: Logic Overhead and Performance.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	DASH project, large-scale shared-memory multiprocessors, directory-based cachecoherence, reference behavior, DASHprotocol, atomic tests, performance evaluation, parallel programming, shared memory systems, storage management, buffer storage, hardware performance monitor, coherent caches
16	Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi	Modeling Correlation in Software Recovery Blocks.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification