Search results for "transition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Lijun Gao, Keshab K. Parhi	Models for Architectural Power and Power Grid Noise Analysis on Data Bus.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	augmented DBT model, SCTA model, STCTA model, power consumption, switching activity, power spectrum, transition probability, power grid noise, transition activity
48	Bo Yao, Irith Pomeranz, Sudhakar M. Reddy	Deterministic broadside test generation for transition path delay faults.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	broadside test, deterministic test generation, path delay fault, transition fault
48	Yueh-Yi Lai, Wen-Kai Tai	Transition Texture Synthesis.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	texture transition, texture mapping, texture synthesis
48	Xiao Liu 0010, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran	Efficient techniques for transition testing.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	test chain, test data volume reduction, transition faults, Test application time reduction, yield loss
45	Juan A. Carrasco	Failure Transition Distance-Based Importance Sampling Schemes for theSimulation of Repairable Fault-Tolerant Computer Systems.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
42	Irith Pomeranz, Sudhakar M. Reddy	Fault Collapsing for Transition Faults Using Extended Transition Faults.	ETS	2006	DBLP DOI BibTeX RDF
42	Jacob Savir, Srinivas Patil	Scan-based transition test.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
40	Wei-De Chien, Kai-Chao Yang, Jia-Shung Wang	Seamless channel transition for pyramid-based near-VoD services.	ICME	2005	DBLP DOI BibTeX RDF	SWCT scheme, seamless channel transition, pyramid-based near-VoD service, periodic broadcasting protocol, video stream transmission, stairway channel transition, resource management, video-on-demand
40	Yasushi Hamada, Nobutaka Shimada, Yoshiaki Shirai	Hand Shape Estimation Using Image Transition Network.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	hand shape estimation, image transition network, hand posture estimation, silhouette images, shape complexity, shape transition, offline learning, hand shape sequences, feature extraction, feature extraction, image sequences, experiments, gesture recognition, image matching, image matching, cameras, camera, eigenspace
38	Dongho Kim, Tony Ambler	Robust transition density estimation by considering input/output transition behavior.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
38	Thomas T. Hildebrandt, Vladimiro Sassone	Comparing Transition Systems with Independence and Asynchronous Transition Systems.	CONCUR	1996	DBLP DOI BibTeX RDF
38	Min Pan, Chris C. N. Chu, J. Morris Chang	Transition time bounded low-power clock tree construction.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
38	Wei Jyh Heng, King Ngi Ngan	Shot boundary refinement for long transition in digital video sequence.	IEEE Trans. Multim.	2002	DBLP DOI BibTeX RDF
38	Glynn Winskel	Petri Nets and Transition Systems (Abstract for an invited talk).	FSTTCS	1991	DBLP DOI BibTeX RDF
37	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
37	Alexander E. Kostin	A Reachability Algorithm for General Petri Nets Based on Transition Invariants.	MFCS	2006	DBLP DOI BibTeX RDF	transition invariants, Petri nets, reachability
37	Yueh-Yi Lai, Wen-Kai Tai, Chin-Chen Chang 0002, Chen-Duo Liu	Synthesizing transition textures on succession patterns.	GRAPHITE	2005	DBLP DOI BibTeX RDF	texture transition, texture synthesis
37	Niranjan L. Cooray, Edward W. Czeck	Guaranteed fault detection sequences for single transition faults in finite state machine models using concurrent fault simulation.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	sequential logic test generation, finite state machine testing, transition fault, distinguishing sequences
37	Yuka Obu, Kazuhiro Maruo, Tatsuhiro Yonekura, Masaru Kamada, Shusuke Okamoto	State-Transition Diagram for Visual Programming Tool GUEST.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF	Web programming for non-programmers, GUEST (Graphical User interface Editor by State-transition Diagram), New user interface design concept, Visual programming, State-transition diagram
37	Wim L. G. van Warmerdam, V. Ralph Algazi	Describing 1-D Intensity Transitions with Gaussian Derivatives at the Resolutions Matching the Transition Widths.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	width matching, 1D intensity transition, transition width, zero-crossing slope, pattern recognition, pattern recognition, picture processing, picture processing, edge detection, spatial structure, Gaussian derivatives
34	Maciej Koutny, Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Localities.	CONCUR	2006	DBLP DOI BibTeX RDF
34	Puneet Gupta, Michael S. Hsiao	ALAPTF: A new Transition Faultmodel and the ATPG Algorithm.	ITC	2004	DBLP DOI BibTeX RDF
34	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
34	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
34	Sung-Bae Jun, Kyoungro Yoon, Hee-Youn Lee	Dissolve transition detection algorithm using spatio-temporal distribution of MPEG macro-block types (poster session).	ACM Multimedia	2000	DBLP DOI BibTeX RDF	dissolve, macro block type distribution, MPEG, video segmentation, fades, shot change detection
34	Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani	Symbolic Exploration of transition Hierarchies.	TACAS	1998	DBLP DOI BibTeX RDF
34	Kwang-Ting Cheng	Transition fault testing for sequential circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
34	André Arnold	Verification and Comparison of Transition Systems.	TAPSOFT	1993	DBLP DOI BibTeX RDF
34	Philipp Rohde	Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
33	Yipeng Li, Yihua Huang, Lei Wang 0016, Yong Ren 0001	The Nonlinear Mechanism of Phase Transition in Computer Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	nonlinear mechanism, distributed proxy, phase transition
33	José Rildo de Oliveira Queiroz, Geraldo Magela e Silva	Dynamics Simulation of Conducting Polymer Interchain Interaction Effects on Polaron Transition.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Polaron, Interchain-Interaction, Dynamics, Transition
33	Sung-Soon Choi, Kyomin Jung, Jeong Han Kim	Phase transition in a random NK landscape model.	GECCO	2005	DBLP DOI BibTeX RDF	random k-SAT problem, unit clause algorithm, phase transition, branching process, NK landscape
33	Russell E. Henning, Chaitali Chakrabarti	Relating Data Characteristics to Transition Activity in High-Level Static CMOS Design.	VLSI Design	2000	DBLP DOI BibTeX RDF	statistical parameters, high-level synthesis, Low power design, data models, transition activity
33	Xudong He, Weili Yao	Translating hierarchical predicate transition nets to CC++ program skeletons.	COMPSAC	1997	DBLP DOI BibTeX RDF	hierarchical predicate transition net translation, CC++ program skeletons, overall translation architecture, translation rules, transformational software development methodology, Petri nets, semantics, syntax, concurrent object-oriented programming
33	Xavier C. Delannoy	Understanding the Tension between Transition Rules and Confidentiality.	BNCOD	1996	DBLP DOI BibTeX RDF	Discretionary Models of Confidentiality, Transition Integrity Constraints, Relational Model, Covert Channel
33	Patrick Coscas, Gilles Fouquier, Agnes Lanusse	Modelling actor programs using Predicate/Transition nets.	PDP	1995	DBLP DOI BibTeX RDF	actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
33	André Arnold, Anne Dicky	Equivalences and Preorders of Transition Systems.	MFCS	1993	DBLP DOI BibTeX RDF	temporal logic, bisimulation, transition system
33	Michael Huth 0001	Refinement is complete for implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Modal transition systems, Implementation relation, Model checking, Refinement
33	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
33	Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi	An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness
32	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
32	Zaifu Zhang, Robert D. McLeod, Gregory E. Bridges	Statistical estimation of delay fault detectabilities and fault grading.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	delay fault detectabilities, fault grading, STAFAN, transition observabilities, fanout stems, fanout free region, gate line transition controllabilities, VLSI, fault diagnosis, logic testing, logic testing, statistical analysis, fault coverage, benchmark circuits, statistical estimation
31	Irith Pomeranz, Sudhakar M. Reddy	Unspecified Transition Faults: A Transition Fault Model for At-Speed Fault Simulation and Test Generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
30	Praveen Kalla, Xiaobo Sharon Hu, Jörg Henkel	Distance-based recent use (DRU): an enhancement to instruction cache replacement policies for transition energy reduction.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
30	Eric T. Matson, Raj Bhatnagar	Properties of Capability Based Agent Organization Transition.	IAT	2006	DBLP DOI BibTeX RDF
30	Hangkyu Lee, Irith Pomeranz, Sudhakar M. Reddy	A Test Generation Procedure for Avoiding the Detection of Functionally Redundant Transition Faults.	VTS	2006	DBLP DOI BibTeX RDF
30	Wen Gao 0001, Gaolin Fang, Debin Zhao, Yiqiang Chen	Transition Movement Models for Large Vocabulary Continuous Sign Language Recognition.	FGR	2004	DBLP DOI BibTeX RDF
30	Hangkyu Lee, Irith Pomeranz, Sudhakar M. Reddy	Scan BIST Targeting Transition Faults Using a Markov Source.	ISQED	2004	DBLP DOI BibTeX RDF
30	Yun Shao 0002, Irith Pomeranz, Sudhakar M. Reddy	On Generating High Quality Tests for Transition Faults.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
30	Yong Sun, Hongji Yang, Alan J. Dix	TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications.	APAQS	2000	DBLP DOI BibTeX RDF
30	Walter Vogler	Concurrent Implementation of Asynchronous Transition Systems.	ICATPN	1999	DBLP DOI BibTeX RDF
30	Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs.	ICATPN	1997	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
30	Jing Tao, Wenju Liu	An Improvement of HSMM-Based Speech Synthesis by Duration-Dependent State Transition Probabilities.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Duration-Dependent State Transition Probabilities, Speech Synthesis, Forward-Backward Algorithm
30	Richard Gerlach, Cathy W. S. Chen	Bayesian inference and model comparison for asymmetric smooth transition heteroskedastic models.	Stat. Comput.	2008	DBLP DOI BibTeX RDF	Mixture normal, Posterior model probability, Asymmetric volatility model, Smooth transition, Value-at-Risk, Markov chain Monte Carlo method
30	Érick Alphonse, Aomar Osmani	On the connection between the phase transition of the covering test and the learning success rate in ILP.	Mach. Learn.	2008	DBLP DOI BibTeX RDF	Plateau phenomena, Near-miss examples, Heuristic search, Inductive logic programming, Phase transition
30	Fei Xing, Wenye Wang	On the critical phase transition time of wireless multi-hop networks with random failures.	MobiCom	2008	DBLP DOI BibTeX RDF	continuum percolation, network devolution, phase transition time, random failures, wireless multihop networks
30	Bas Ploeger, Carst Tankink	Improving an interactive visualization of transition systems.	SOFTVIS	2008	DBLP DOI BibTeX RDF	graph drawing, 3D visualization, transition systems, cone trees
30	Chun-Chen Hsu, Pangfeng Liu, Chien-Min Wang	Heuristic Algorithms for Replication Transition Problem in the Grid Systems.	CCGRID	2008	DBLP DOI BibTeX RDF	Replica Transition Problem, Grid Computing, Data Grid
30	Taolue Chen, Jaco van de Pol, Yanjing Wang 0001	PDL over Accelerated Labeled Transition Systems.	TASE	2008	DBLP DOI BibTeX RDF	PDL, Accelerated Labeled Transition Systems
30	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, Software model checking
30	William A. Hetrick, Charles W. Krueger, Joseph G. Moore	Incremental return on incremental investment: Engenio's transition to software product line practice.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	transition to software product line practice, software product lines, incremental methods
30	Sang-Kyun Noh, DongKook Kim, Yongmin Kim 0005, Bong-Nam Noh	Modeling of Network Intrusions Based on the Multiple Transition Probability.	IWSEC	2006	DBLP DOI BibTeX RDF	Network-based intrusion detection, multiple transition probability, Ergodic model, probability-based modeling, likelihood measure
30	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
30	Stelios Neophytou, Maria K. Michael, Spyros Tragoudas	Test set enhancement for quality transition faults using function-based methods.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	high quality test, ATPG, delay test, critical paths, transition fault, test compaction
30	Xiao Liu 0010, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran	Efficient Transition Fault ATPG Algorithms Based on Stuck-At Test Vectors.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	stuck-at vectors, delay testing, transition fault
30	Golam Ashraf, Kok Cheong Wong	Semantic Representation and Correspondence for State-Based Motion Transition.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	consistent interpolation, motion transition, representation, Computer animation, correspondence
30	Katerina Korenblat, Orna Grumberg, Shmuel Katz	Translations between Textual Transition Systems and Petri Nets.	IFM	2002	DBLP DOI BibTeX RDF	textual transition systems, structure and semantics preservation, Petri nets, model translations
30	Michael Haungs, Phil Sallee, Matthew K. Farrens	Branch Transition Rate: A New Metric for Improved Branch Classification Analysis.	HPCA	2000	DBLP DOI BibTeX RDF	Branch Classification, Transition Rate, Dual Path, Branch Prediction
30	Priscilla J. Fowler, Anita D. Carleton, Barbara Merrin	Transition Packages: An Experiment in Expediting the Introduction of Requirements Management.	ICRE	1998	DBLP DOI BibTeX RDF	technology introduction, transition package, Software Capability Maturity Model, Technology transfer, technology adoption, diffusion of innovation, requirements management
30	Vincent van Oostrom, Erik P. de Vink	Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.	STACS	1994	DBLP DOI BibTeX RDF	transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence
30	Markus Lindquist	Parameterized Reachability Trees for Predicate/Transition Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Petri nets, reachability analysis, Predicate/Transition nets, high level nets
30	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Timed Transition Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	real time, concurrency, Transition systems
29	Zaifu Zhang, Robert D. McLeod, Gregory E. Bridges	Statistical estimation of delay fault detectabilities and fault grading.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	transition delay and path delay faults, statistical delay fault analysis, fault detectabilities, fault coverage, random patterns
29	Ananta K. Majhi, James Jacob, Lalit M. Patnaik, Vishwani D. Agrawal	On test coverage of path delay faults.	VLSI Design	1996	DBLP DOI BibTeX RDF	two-pass test generation method, falling transition, line delay test, longest sensitizable path, decreasing length, redundant stuck-at fault, computational complexity, fault diagnosis, logic testing, delays, redundancy, combinational circuits, fault simulation, circuit analysis computing, test coverage, path delay faults, benchmark circuits, coverage metric, combinational logic circuits, longest paths
29	Bengt Jonsson 0001	On Decomposing and Refining Specifications of Distributed Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF	Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality
29	René David, Pascale Thévenod-Fosse	Minimal Detecting Transition Sequences: Application to Random Testing.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	transition sequence, Detection set, minimal detecting transition sequence(MDTS), sequential circuit, random testing
29	Sophoin Khy, Yoshiharu Ishikawa, Hiroyuki Kitagawa	A Query Language and Its Processing for Time-Series Document Clusters.	ICADL	2008	DBLP DOI BibTeX RDF	cluster transition, clustering result, transition pattern, query processing, query language, cluster graph, graph query
29	Walter Dosch	Enriching the Input Interface of Interactive Components with Undo Commands.	SERA	2006	DBLP DOI BibTeX RDF	Interactive component, interface refinement, undo command, input/output behaviour, state transition table, state transition machine
29	Donghai Li, Guang-Sheng Ma, Gang Feng	Optimized Design of Interconnected Bus on Chip for Low Power.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	self transition, coupled transition, interconnected bus, power optimization
29	José A. Troyano, Jesús Torres 0001, Miguel Toro	A technique for distributed systems specification.	PDP	1995	DBLP DOI BibTeX RDF	distributed systems specification, object-oriented specification language, dining philosophers problem, formal specification, distributed algorithms, distributed processing, concurrency control, specification languages, distributed programming, object-oriented languages, transition system, algebraic model, algebraic data types, object attributes, transition rules
29	Brigitte Plateau, Karim Atif	Stochastic Automata Network For Modeling Parallel Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost
29	Stanley Lee, Suzanne Sluizer	An Executable Language For Modeling Simple Behavior.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description
29	Jan J. M. M. Rutten	Nonwellfounded Sets and Programming Language Semantics.	MFPS	1991	DBLP DOI BibTeX RDF	transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics
27	Tadanobu Furukawa, Seishi Okamoto, Yutaka Matsuo, Mitsuru Ishizuka	Prediction of social bookmarking based on a behavior transition model.	SAC	2010	DBLP DOI BibTeX RDF	recommender system, collaborative filtering, Markov chain, information flow, social tagging
27	Xiaoyuan Ta, Guoqiang Mao, Brian D. O. Anderson	On the Phase Transition Width of K-Connectivity in Wireless Multihop Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
27	Ya Jun Yu, Yong Ching Lim, Dong Shi	Low-Complexity Design of Variable Bandedge Linear Phase FIR Filters With Sharp Transition Band.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
27	Jean Fanchon, Rémi Morin	Pomset Languages of Finite Step Transition Systems.	Petri Nets	2009	DBLP DOI BibTeX RDF
27	Osamu Shigo	Jackson's JSP-Like Method for State Transition Design.	APSEC	2008	DBLP DOI BibTeX RDF
27	Chun-Chen Hsu, Chien-Min Wang, Pangfeng Liu	Optimal replication transition strategy in distributed hierarchical systems.	IPDPS	2008	DBLP DOI BibTeX RDF
27	Hyung-Jin Lim, Dong-Young Lee, Tai-Myoung Chung	Comparative Analysis of IPv6 VPN Transition in NEMO Environments.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
27	Hyung-Jin Lim, Dong-Young Lee, Tae-Kyung Kim, Tai-Myoung Chung	An Evaluation and Analysis for IP VPN Model in IPv6 Transition Environment.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
27	Xijiang Lin, Janusz Rajski	The Impacts of Untestable Defects on Transition Fault Testing.	VTS	2006	DBLP DOI BibTeX RDF
27	Andreas Kuehlmann	Dynamic transition relation simplification for bounded property checking.	ICCAD	2004	DBLP DOI BibTeX RDF
27	Yassine Hadjadj Aoul, Daniel Négru, Abdelhamid Nafaa, Ahmed Mehaoua	M3G: A Mobile Multicast Multimedia Gateway for Seamless IPv4/IPv6 Transition.	MMNS	2003	DBLP DOI BibTeX RDF
27	Xiao Liu 0010, Michael S. Hsiao	Constrained ATPG for Broadside Transition Testing.	DFT	2003	DBLP DOI BibTeX RDF
27	Sibylle Peuker	Concurrency Based Transition Refinement for the Verification of Distributed Algorithms.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
27	Nandu Tendolkar, Rajesh Raina, Rick Woltenberg, Xijiang Lin, Bruce Swanson, Greg Aldrich	Novel Techniques for Achieving High At-Speed Transition Fault Test Coverage for Motorola's Microprocessors Based on PowerPC(tm) Instruction Set Architecture.	VTS	2002	DBLP DOI BibTeX RDF	Microprocessor, Delay Testing
27	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Formula Based Abstractions of Transition Systems for Real-Time Model Checking.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
27	Sumant Ramprasad, Naresh R. Shanbhag, Ibrahim N. Hajj	Analytical estimation of signal transition activity from word-level statistics.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
27	Marcello M. Bonsangue, Joost N. Kok	Specifying Computations Using Hyper Transition Systems.	MFCS	1997	DBLP DOI BibTeX RDF