Search results for "re-sequencing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Bengi Karaçali, Kuo-Chung Tai	Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.	PDSE	1999	DBLP DOI BibTeX RDF
18	Tolga Asveren, Paul Molitor	New Crossover Methods For Sequencing Problems.	PPSN	1996	DBLP DOI BibTeX RDF
18	Jeremy Dick, Alain Faivre	Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.	FME	1993	DBLP DOI BibTeX RDF
18	Edward G. Coffman Jr., Ravi Sethi	A generalized bound on LPT sequencing.	SIGMETRICS	1976	DBLP DOI BibTeX RDF
16	Lawrence Henesey, Paul Davidsson, Jan A. Persson	Agent based simulation architecture for evaluating operational policies in transshipping containers.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Container terminal management, Agent-based simulation, Policy evaluation
16	Kana Suzuki, Ikuyo Morimoto, Etsuo Mizukami, Hiroko Otsuka, Hitoshi Isahara	An exploratory study for analyzing interactional processes of group discussion: the case of a focus group interview.	AI Soc.	2009	DBLP DOI BibTeX RDF
16	Michael H. Veatch, Jonathan R. Senning	Fluid analysis of an input control problem.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90B22, 90C40, 90B30
16	Itai Sharon, Amrita Pati, Victor M. Markowitz, Ron Y. Pinter	A Statistical Framework for the Functional Analysis of Metagenomes.	RECOMB	2009	DBLP DOI BibTeX RDF	function comparison, Lander-Waterman, functional analysis, metagenomics
16	Grégory Nuel	Counting Patterns in Degenerated Sequences.	PRIB	2009	DBLP DOI BibTeX RDF	Expectation-Maximization algorithmn, Markov chain embedding, Deterministic Finite state Automaton, Forward-Backward algorithm
16	Adriana Muñoz, David Sankoff	Rearrangement Phylogeny of Genomes in Contig Form.	ISBRA	2009	DBLP DOI BibTeX RDF
16	Richard W. Selby	Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems.	ICSP	2009	DBLP DOI BibTeX RDF
16	Peter Husemann 0002, Jens Stoye	Phylogenetic Comparative Assembly.	WABI	2009	DBLP DOI BibTeX RDF
16	Lee Hood	Systems medicine, transformational technologies and the emergence of predictive, personalized, preventive and participatory (P4) medicine.	SC	2009	DBLP DOI BibTeX RDF
16	Amol Ghoting, Konstantin Makarychev	Indexing genomic sequences on the IBM Blue Gene.	SC	2009	DBLP DOI BibTeX RDF
16	Fahad Saeed, Ashfaq A. Khokhar, Osvaldo Zagordi, Niko Beerenwinkel	Multiple Sequence Alignment System for Pyrosequencing Reads.	BICoB	2009	DBLP DOI BibTeX RDF
16	Hyoil Kim, Kang G. Shin	Efficient Discovery of Spectrum Opportunities with MAC-Layer Sensing in Cognitive Radio Networks.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	communication, Network management, Network monitoring, Emerging technologies, Mobile communication systems
16	Sourav Chatterji, Ichitaro Yamazaki, Zhaojun Bai, Jonathan A. Eisen	CompostBin: A DNA Composition-Based Algorithm for Binning Environmental Shotgun Reads.	RECOMB	2008	DBLP DOI BibTeX RDF	weighted PCA, DNA composition metrics, Genome Signatures, Feature Extraction, Metagenomics, Normalized Cut, Binning
16	Stéphane S. Somé, Xu Cheng	An approach for supporting system-level test scenarios generation from textual use cases.	SAC	2008	DBLP DOI BibTeX RDF	use cases, state machines, system testing
16	Permanand Mohan	A teacher for every learner: Rising to the challenge with computational intelligence.	IJCNN	2008	DBLP DOI BibTeX RDF
16	Benjamin G. Jackson, Srinivas Aluru	Parallel Construction of Bidirected String Graphs for Genome Assembly.	ICPP	2008	DBLP DOI BibTeX RDF
16	Serdar Bozdag, Timothy J. Close, Stefano Lonardi	Computing the Minimal Tiling Path from a Physical Map by Integer Linear Programming.	WABI	2008	DBLP DOI BibTeX RDF
16	Nozha Zribi, Imed Kacem, Abdelkader El Kamel, Pierre Borne	Assignment and Scheduling in Flexible Job-Shops by Hierarchical Optimization.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
16	Richard B. Fair, Andrey Khlystov, Tina D. Tailor, Vladislav Ivanov, Randall D. Evans, Vijay Srinivasan, Vamsee K. Pamula, Michael G. Pollack, Peter B. Griffin, Jack Zhou	Chemical and Biological Applications of Digital-Microfluidic Devices.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	digital microfluidics, sample collection, electrowetting, analysis, detection, lab on a chip
16	Mark Borodovsky	Decoding Novel Genomes: From Microbiomes to the Eukaryota.	BIBE	2007	DBLP DOI BibTeX RDF
16	Feng Yue, Meng Zhang 0006, Jijun Tang	A Heuristic for Phylogenetic Reconstruction Using Transposition.	BIBE	2007	DBLP DOI BibTeX RDF
16	Chon-Kit Kenneth Chan, Arthur L. Hsu, Sen-Lin Tang, Saman K. Halgamuge	A Method for Evaluating Quality of Clustering DNA Fragments Encoded in Different Nucleotide Frequencies.	FBIT	2007	DBLP DOI BibTeX RDF
16	Enrique Alba 0001, Gabriel Luque	A New Local Search Algorithm for the DNA Fragment Assembly Problem.	EvoCOP	2007	DBLP DOI BibTeX RDF
16	Lucas Agussurja, Hoong Chuin Lau	The Price of Stability in Selfish Scheduling Games.	IAT	2007	DBLP DOI BibTeX RDF
16	Periklis Georgiadis, Vassilis Christophides, Nicolas Spyratos	Designing personalized curricula based on student preferences.	SIGDOC	2007	DBLP DOI BibTeX RDF	personalized curriculum design, preference composition, preference query
16	Raphael Berner, Tobi Delbrück, Antón Civit Balcells, Alejandro Linares-Barranco	A 5 Meps $100 USB2.0 Address-Event Monitor-Sequencer Interface.	ISCAS	2007	DBLP DOI BibTeX RDF
16	Cara Winterbottom, Edwin H. Blake, James E. Gain	Using Visualizations to Support Design and Debugging in Virtual Reality.	ISVC (1)	2006	DBLP DOI BibTeX RDF
16	Gregory A. Thompson, Robert G. Morrison, Keith J. Holyoak, Terry K. Clark	Evaluation of an Online Analogical Patient Simulation Program.	CBMS	2006	DBLP DOI BibTeX RDF
16	Kim Hindle, Matt Duffin	SIMUL8-planner for composites manufacturing.	WSC	2006	DBLP DOI BibTeX RDF
16	Rajeev Alur, P. Madhusudan	Adding Nesting Structure to Words.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
16	Anantharaman Kalyanaraman, Scott J. Emrich, Patrick S. Schnable, Srinivas Aluru	Assembling genomes on large-scale parallel computers.	IPDPS	2006	DBLP DOI BibTeX RDF
16	Kevin Donnelly, Matthew Fluet	Transactional events.	ICFP	2006	DBLP DOI BibTeX RDF	first-class events, synchronous message passing, concurrency, transactions, monads
16	Wannasak Wetcharaporn, Nachol Chaiyaratana, Sissades Tongsima	DNA Fragment Assembly: An Ant Colony System Approach.	EvoWorkshops	2006	DBLP DOI BibTeX RDF
16	David Thornley, Stavros Petridis	Machine Learning in Basecalling Decoding Trace Peak Behaviour.	CIBCB	2006	DBLP DOI BibTeX RDF
16	Hassan Masoom, Suprakash Datta, Amir Asif, Lesley Cunningham, Gillian Wu	A Fast Algorithm for Detecting Frame Shifts in DNA sequences.	CIBCB	2006	DBLP DOI BibTeX RDF
16	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
16	George Steiner, Zhihui Xue	Scheduling in Reentrant Robotic Cells: Algorithms and Complexity.	J. Sched.	2005	DBLP DOI BibTeX RDF	reentrant robotic cell, complexity, polynomial-time algorithm, makespan, cycle time
16	Christopher Wilks, Sami Khuri	A Fast Shotgun Assembly Heuristic.	CSB Workshops	2005	DBLP DOI BibTeX RDF
16	William Van Haevre, Fabian Di Fiore, Frank Van Reeth	Uniting cartoon textures with computer assisted animation.	GRAPHITE	2005	DBLP DOI BibTeX RDF	automatic in-betweening, cartoon textures, structured 2D animation, computer animation
16	Hsiau Wen Lin, Wen-Chih Chang, George Yee, Timothy K. Shih, Chun-Chia Wang, Hsuan-Che Yang	Applying Petri Nets to Model SCORM Learning Sequence Specification in Collaborative Learning.	AINA	2005	DBLP DOI BibTeX RDF
16	Nikola Stojanovic	The human genome project: software challenges and future directions.	AICCSA	2005	DBLP DOI BibTeX RDF
16	Tsung-Che Chiang, Li-Chen Fu	Solving the FMS Scheduling Problem by Critical Ratio-based Heuristics and the Genetic Algorithm.	ICRA	2004	DBLP DOI BibTeX RDF
16	Ankur Bhargava, S. Rao Kosaraju	An Algorithm for Computing DNA Walks.	ESA	2004	DBLP DOI BibTeX RDF
16	Leonid Sheremetov, Luis M. Rocha, Juan Guerra, Jorge Martínez Muñoz	Optimization Algorithm for Dynamic Multi-Agent Job Routing.	BASYS	2004	DBLP DOI BibTeX RDF
16	Yonghua Han, Bin Ma 0002, Kaizhong Zhang	An Automata Approach to Match Gapped Sequence Tags Against Protein Database.	CIAA	2004	DBLP DOI BibTeX RDF
16	Paulo J. Garrido	A learning-oriented knowledge representation for teaching interfaces.	SMC (1)	2004	DBLP DOI BibTeX RDF
16	Luis Carlos González-Gurrola, Carlos A. Brizuela, Everardo Gutiérrez	A Genetic Algorithm for the Shortest Common Superstring Problem.	IBERAMIA	2004	DBLP DOI BibTeX RDF
16	Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater	Notations for the Specification and Verification of Composite Web Services.	EDOC	2004	DBLP DOI BibTeX RDF
16	Jordi Petit	Experiments on the minimum linear arrangement problem.	ACM J. Exp. Algorithmics	2003	DBLP DOI BibTeX RDF
16	Vineet Bafna, Nathan Edwards	On de novo interpretation of tandem mass spectra for peptide identification.	RECOMB	2003	DBLP DOI BibTeX RDF	de novo interpretation, tandem mass spectrometry, proteomics
16	Funda Ergün, S. Muthukrishnan 0001, Süleyman Cenk Sahinalp	Comparing Sequences with Segment Rearrangements.	FSTTCS	2003	DBLP DOI BibTeX RDF
16	Danny Z. Chen, Xiaobo Hu 0001, Shuang Luan, Xiaodong Wu 0001, Cedric X. Yu	Optimal Terrain Construction Problems and Applications in Intensity-Modulated Radiation Therapy.	ESA	2002	DBLP DOI BibTeX RDF
16	Nicholas G. Hall, Chelliah Sriskandarajah, Tharmarajah Ganesharajah	Operational Decisions in AGV-Served Flowshop Loops: Fleet Sizing and Decomposition.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	fleet sizing, decomposition, manufacturing, automated guided vehicles
16	Mark Adams	The sequence of the human genome (abstract only).	RECOMB	2001	DBLP DOI BibTeX RDF
16	Keith Decker, Xiaojing Zheng, Carl J. Schmidt	A multi-agent system for automated genomic annotation.	Agents	2001	DBLP DOI BibTeX RDF	lessons learned from deployed agents, information agents
16	Christian Lebiere, Dieter Wallach	Sequence Learning in the ACT-R Cognitive Architecture: Empirical Analysis of a Hybrid Model.	Sequence Learning	2001	DBLP DOI BibTeX RDF
16	Daniel H. Huson, Aaron L. Halpern, Zhongwu Lai, Eugene W. Myers, Knut Reinert, Granger G. Sutton	Comparing Assemblies Using Fragments and Mate-Pairs.	WABI	2001	DBLP DOI BibTeX RDF
16	Simon N. Foley, John P. Morrison	Computational paradigms and protection.	NSPW	2001	DBLP DOI BibTeX RDF	functional and dataflow programming, imperative, security models, protection mechanisms, condensed graphs
16	Steffen Hennig, Ralf Herwig, Matthew Clark, Pia Aanstad, A. Musa, John O'Brien, C. Bull, Uwe Radelof, Georgia Panopoulou, Albert J. Poustka, Hans Lehrach	A data-analysis pipeline for large-scale gene expression analysis.	RECOMB	2000	DBLP DOI BibTeX RDF
16	Tuomas Sandholm, Vincent Ferrandon	Safe Exchange Planner.	ICMAS	2000	DBLP DOI BibTeX RDF	Agents in electronic commerce, Mechanism design
16	Prasanta K. Bose, Mark G. Matthews	Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies.	ASE	2000	DBLP DOI BibTeX RDF
16	Eric Rotenberg, Steve Bennett, James E. Smith 0001	A Trace Cache Microarchitecture and Evaluation.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	multiple branch prediction, superscalar processors, Instruction cache, trace cache, instruction fetching
16	Bart Mesman, Adwin H. Timmer, Jef L. van Meerbergen, Jochen A. G. Jess	Constraint analysis for DSP code generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
16	Artur Czumaj, Ian Finch, Leszek Gasieniec, Alan Gibbons, Paul H. Leng, Wojciech Rytter, Michele Zito 0001	Efficient Web Searching Using Temporal Factors.	WADS	1999	DBLP DOI BibTeX RDF
16	Bart Mesman, Marino T. J. Strik, Adwin H. Timmer, Jef L. van Meerbergen, Jochen A. G. Jess	A Constraint Driven Approach to Loop Pipelining and Register Binding.	DATE	1998	DBLP DOI BibTeX RDF	codegeneration, scheduling, DSP, constraint satisfaction, register binding
16	Rajeev Shorey, Anurag Kumar 0001, Kiran M. Rege	Instability and Performance Limits of Distributed Simulators of Feedforward Queueing Networks.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF
16	Bart Mesman, Marino T. J. Strik, Adwin H. Timmer, Jef L. van Meerbergen, Jochen A. G. Jess	Constraint Analysis for DSP Code Generation.	ISSS	1997	DBLP DOI BibTeX RDF
16	Hsi-Chieh Lee, Fikret Erçal	RMESH Algorithms for Parallel String Matching.	ISPAN	1997	DBLP DOI BibTeX RDF	Reconfigurable Mesh Architecture, RMESH, Parallel Algorithms, String Matching, Approximate String Matching
16	Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott	Specifying timing constraints in real-time object-oriented systems.	HASE	1996	DBLP DOI BibTeX RDF
16	Burghard von Karger	An Algebraic Approach to Temporal Logic.	TAPSOFT	1995	DBLP DOI BibTeX RDF
16	Rakesh Agrawal 0001, Narain H. Gehani, J. Srinivasan	OdeView: A User-Friendly Graphical Interface to Ode.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
16	Shuo Huang, Omar Wing	Gate matrix partitioning.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
16	Tim Nicholson, Norman Y. Foo	A Denotational Semantics for Prolog.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF	Prolog
16	Tzi-cker Chiueh, Randy H. Katz, Valerie King	Managing the VLSI Design Process.	MIT-JSME Workshop	1989	DBLP DOI BibTeX RDF	Design Databases, Groupware, Process Management, Activity Model, Task Specification
15	Yongji Zhou, T. X. Mei, Steven Freear	Real-Time Modeling of Wheel-Rail Contact Laws with System-On-Chip.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	sequencing and scheduling, Multiprocessor system, real time and embedded systems, token rings
15	Adam Burdeniuk, Kiet N. To, Cheng-Chew Lim, Michael J. Liebelt	An Event-Assisted Sequencer to Accelerate Matrix Algorithms.	DELTA	2010	DBLP DOI BibTeX RDF	macroinstructions, event mechanism, sequencing, acceleration, Matrix
15	Nassima Izerrouken, Marc Pantel, Xavier Thirioux	Machine-Checked Sequencer for Critical Embedded Code Generator.	ICFEM	2009	DBLP DOI BibTeX RDF	block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant
15	Geoffrey C. Fox, Xiaohong Qiu, Scott Beason, Jong Youl Choi, Jaliya Ekanayake, Thilina Gunarathne, Mina Rho, Haixu Tang, Neil Devadasan, Gilbert Liu	Biomedical Case Studies in Data Intensive Computing.	CloudCom	2009	DBLP DOI BibTeX RDF	Dryad, Clustering, MPI, Clouds, MapReduce, Sequencing, Hadoop
15	Juan-Manuel de Blas, José María Gutiérrez, Luis de Marcos, Roberto Barchino	Automatic E-learning contents composition by using gap analysis techniques.	ITiCSE	2009	DBLP DOI BibTeX RDF	E-learning, learning object, sequencing, LMS
15	Changyong Yu, Guoren Wang, Wendan Zhai, Keming Mao	A Novel Scoring Strategy for Identifying Peptide via Tandem Mass Spectra.	FSKD (5)	2009	DBLP DOI BibTeX RDF	peptide sequencing, scoring, tandem mass spectra
15	Marjan van den Akker 0001, Han Hoogeveen	Minimizing the number of late jobs in a stochastic setting using a chance constraint.	J. Sched.	2008	DBLP DOI BibTeX RDF	Number of late jobs, Stochastic processing times, Minimum success probability, Chance constraint, Scheduling, Dynamic programming, NP-hardness, Sequencing, Single machine
15	Loïc Lachèze, Ryad Benosman, Jean-Arcady Meyer	Integration of an Omnidirectional Visual System with the Control Architecture of Psikharpax.	SAB	2008	DBLP DOI BibTeX RDF	Sensory-motor coordination, Action selection and behavioral sequencing, Navigation and mapping, Autonomous robotics
15	Yiannis Laouris, Elena Aristodemou, Pantelis Makris	Prediction of Learning Abilities Based on a Cross-Modal Evaluation of Non-verbal Mental Attributes Using Video-Game-Like Interfaces.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	Cognitive profile, lateralization, auditory-visual discrimination, computer assessment, navigation, multimodal, complex system, video game, categorization, sequencing, instructional design, neuroscience
15	Kuo-ching Liang, Xiaodong Wang 0001, Dimitris Anastassiou	Bayesian Basecalling for DNA Sequence Analysis Using Hidden Markov Models.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	Markov chain Monte Carlo (MCMC), electropherogram, basecalling, hidden Markov model (HMM), DNA sequencing
15	Praveen Krishnamurthy, Jeremy Buhler, Roger D. Chamberlain, Mark A. Franklin, Kwame Gyang, Arpith C. Jacob, Joseph M. Lancaster	Biosequence Similarity Search on the Mercury System.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	comparative annotation, biosequence, DNA sequencing
15	Carlo Meloni, David Naso, Biagio Turchiano	Setup coordination between two stages of a production system: A multi-objective evolutionary approach.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Scheduling, Sequencing, Multi-objective evolutionary algorithms, Manufacturing systems
15	Nicholas G. Hall, Chris N. Potts	The Coordination of Scheduling and Batch Deliveries.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	manufacturing and scheduling, batching and delivery, dynamic programming, sequencing
15	Jingfen Zhang, Wen Gao 0001, Jinjin Cai, Simin He 0001, Rong Zeng, Runsheng Chen	Predicting Molecular Formulas of Fragment Ions with Isotope Patterns in Tandem Mass Spectra.	IEEE ACM Trans. Comput. Biol. Bioinform.	2005	DBLP DOI BibTeX RDF	Isotope patterns, peptide sequencing, tandem mass spectra
15	Jason F. Cantin, Mikko H. Lipasti, James E. Smith 0001	The Complexity of Verifying Memory Coherence and Consistency.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	design styles, nonnumerical algorithms and problems, sequencing and scheduling, fault-tolerance, reliability, testing, shared memory, Hardware, theory of computation, error-checking, memory structures
15	Pawel Jan Kalczynski, Jerzy Kamburowski	Two-Machine Stochastic Flow Shops With Blocking and the Traveling Salesman Problem.	J. Sched.	2005	DBLP DOI BibTeX RDF	stochastic flow shop, two machines, expected makespan, Monge matrix, traveling salesman problem, sequencing, blocking
15	Jane Cleland-Huang, Mark Denne	Financially informed requirements prioritization.	ICSE	2005	DBLP DOI BibTeX RDF	feature sequencing, net present value (NPV), decomposition, requirements prioritization, financial analysis
15	Matteo Baldoni, Cristina Baroglio, Viviana Patti	Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	curriculum sequencing, curricula validation, logic programming, multiagent systems, adaptive systems, reasoning about actions, web-based tutoring
15	Benjamin I. P. Rubinstein, Jon D. McAuliffe, Simon Cawley, Marimuthu Palaniswami, Kotagiri Ramamohanarao, Terence P. Speed	Machine learning in low-level microarray analysis.	SIGKDD Explor.	2003	DBLP DOI BibTeX RDF	gene expression estimation, learning from heterogeneous data, low-level microarray analysis, re-sequencing, transcript discovery, semi-supervised learning, incremental learning, transductive learning, genotyping
15	Dan Halperin, Jean-Claude Latombe, Randall H. Wilson	A General Framework for Assembly Planning: The Motion Space Approach.	Algorithmica	2000	DBLP DOI BibTeX RDF	Assembly sequencing, Motion space, Nondirectional blocking graph, Manufacturing, Assembly planning
15	Stephan Fischer 0001, Ralf Steinmetz	Automatic creation of exercises in adaptive hypermedia learning systems.	Hypertext	2000	DBLP DOI BibTeX RDF	hypermedia learning, sequencing of course material, knowledge engineering, adaptive hypermedia systems
15	Shambhu J. Upadhyaya, Bina Ramamurthy	Concurrent Process Monitoring with No Reference Signatures.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	concurrent process monitoring, signature technique, compilation phase, signature checking, controllable latency, branch-free interval, error coverage, sequencing errors, fault tolerant computing, controllability, program testing, signature analysis, control flow graph, error checking, bit errors, watchdog processor, error latency