The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Transition with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1966 (15) 1967-1968 (15) 1969-1972 (21) 1973-1974 (15) 1975-1977 (18) 1978 (17) 1979 (19) 1980 (22) 1981-1982 (27) 1983 (18) 1984 (28) 1985 (33) 1986 (37) 1987 (112) 1988 (61) 1989 (68) 1990 (106) 1991 (102) 1992 (106) 1993 (147) 1994 (156) 1995 (170) 1996 (197) 1997 (199) 1998 (236) 1999 (261) 2000 (375) 2001 (389) 2002 (464) 2003 (570) 2004 (692) 2005 (809) 2006 (856) 2007 (934) 2008 (981) 2009 (742) 2010 (355) 2011 (352) 2012 (405) 2013 (406) 2014 (365) 2015 (437) 2016 (428) 2017 (474) 2018 (478) 2019 (516) 2020 (569) 2021 (619) 2022 (1089) 2023 (575) 2024 (158)
Publication types (Num. hits)
article(6133) book(5) data(3) incollection(74) inproceedings(9927) phdthesis(93) proceedings(9)
Venues (Conferences, Journals, ...)
CoRR(740) ASIST(169) IEEE Trans. Comput. Aided Des....(148) CONCUR(142) J. Comput. Chem.(125) ICL (2)(111) IEEE Access(109) ICL (1)(102) IEEE Trans. Very Large Scale I...(94) ICRA(85) DAC(83) CAV(82) HICSS(79) IROS(75) APL(68) PLM(68) More (+10 of total 3499)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7487 occurrences of 3641 keywords

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