Search results for "equivalence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Xiaoqing Wen, Hideo Tamamoto, Kozo Kinoshita	Transistor leakage fault location with ZDDQ measurement.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	field effect transistor circuits, transistor leakage fault location, I/sub DDQ/ measurement, equivalence fault collapsing, diagnosed faults, gate-array circuit, fault diagnosis, logic testing, random tests, fault location, CMOS logic circuits, leakage currents, logic arrays, CMOS circuit, deterministic tests, electric current measurement, diagnostic resolution
16	Z. P. Tao, Gregor von Bochmann, Rachida Dssouli	An efficient method for protocol conversion.	ICCCN	1995	DBLP DOI BibTeX RDF	optimized protocol converters, heterogeneous computer networks, message sequences, deterministic service specification, modified channel specifications, internetworking system, protocols, interoperability, efficient algorithm, protocol specifications, observation equivalence, protocol conversion
16	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS (2)	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
16	Tamás D. Gedeon	Indicators of hidden neuron functionality: the weight matrix versus neuron behaviour.	ANNES	1995	DBLP DOI BibTeX RDF	hidden neuron functionality, weight matrix, neuron behaviour, hidden neuron pruning, backpropagation trained neural networks, generalisation performance, pruning process, quality driven compression, least different hidden neurons, trained weight matrix, compression process, functional equivalence problem, data compression, image coding, backpropagation, rule extraction, feedforward neural nets, image processing application
16	Wael M. Elseaidy, Rance Cleaveland	A tool for modeling and verifying real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool
16	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents.	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
16	Gang Luo, Gregor von Bochmann, Alexandre Petrenko	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
16	Abdullah Uz Tansel, Lucy Garnett	On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
16	Flemming Nielson, Hanne Riis Nielson	Layered Predicates.	REX Workshop	1992	DBLP DOI BibTeX RDF	partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations
16	Michael Lindenbaum, Jack Koplowitz	A New Parameterization of Digital Straight Lines.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	digital straight lines, 1:1 correspondence, point pairs, linear dichotomies, computational complexity, computational complexity, computational geometry, computational geometry, parameterization, equivalence
16	Mohammad A. Ketabchi, Valdis Berzins	Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	database partitioning, clustering concept, component aggregation, equivalent objects, minterms, stored views, design data, frequent access patterns, data structures, relational database, relational databases, CAD, database theory, Boolean algebra, assemblies, equivalence classes, composite objects, engineering databases
14	Michael Benedikt, Gabriele Puppis, Huy Vu	Positive higher-order queries.	PODS	2010	DBLP DOI BibTeX RDF	higher-order queries
14	Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse	Nondeterministic Graph Searching: From Pathwidth to Treewidth.	Algorithmica	2009	DBLP DOI BibTeX RDF	Treewidth, Graph searching, Pathwidth
14	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching System Metrics.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
14	Dorel Lucanu, Grigore Rosu	Circular Coinduction with Special Contexts.	ICFEM	2009	DBLP DOI BibTeX RDF
14	Michel de Rougemont, Mathieu Tracol	Statistic Analysis for Probabilistic Processes.	LICS	2009	DBLP DOI BibTeX RDF
14	Chao Wang 0001, Swarat Chaudhuri, Aarti Gupta, Yu Yang 0013	Symbolic pruning of concurrent program executions.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	concurrency, sat, pruning, partial order reduction
14	Pietro Cenciarelli, Daniele Gorla, Ivano Salvo	Depletable Channels: Dynamics and Behaviour.	FCT	2009	DBLP DOI BibTeX RDF
14	Sébastien Combéfis, Charles Pecheur	A bisimulation-based approach to the analysis of human-computer interaction.	EICS	2009	DBLP DOI BibTeX RDF	human-computer interaction (HCI) modelling, mode confusion, formal methods, bisimulation
14	Luca Padovani	Contract-Based Discovery and Adaptation of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
14	Yukio-Pegio Gunji, Taichi Haruna, Eugene Schneider Kitamura	Lattice Derived by Double Indiscernibility and Computational Complementarity.	RSKT	2009	DBLP DOI BibTeX RDF	computational complementarity, automata, lattice theory, Indiscernibility
14	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla	A Trace-Based Framework for Verifiable GALS Composition of IPs.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
14	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. II.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
14	Ran El-Yaniv, Dmitry Pechyony, Vladimir Vapnik	Large Margin vs. Large Volume in Transductive Learning.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
14	Cindy Eisner, Amir Nahir, Karen Yorav	Functional Verification of Power Gated Designs by Compositional Reasoning.	CAV	2008	DBLP DOI BibTeX RDF
14	Anna Zaks, Amir Pnueli	CoVaC: Compiler Validation by Program Analysis of the Cross-Product.	FM	2008	DBLP DOI BibTeX RDF
14	Luca Trevisan	Average-case Complexity.	FOCS	2008	DBLP DOI BibTeX RDF
14	David Herman, Mitchell Wand	A Theory of Hygienic Macros.	ESOP	2008	DBLP DOI BibTeX RDF
14	Anirban Dasgupta 0001, Ravi Kumar 0001, Amit Sasturkar	De-duping URLs via rewrite rules.	KDD	2008	DBLP DOI BibTeX RDF	URL normalization, de-duping, rewrite rules
14	Ramkishore Bhattacharyya, Balaram Bhattacharyya	Gene Expression Mining for Cohesive Pattern Discovery.	BIRD	2008	DBLP DOI BibTeX RDF	microarray mining, Association rule, cohesion, gene cluster, direct interaction
14	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Universal Coinductive Characterisations of Process Semantics.	IFIP TCS	2008	DBLP DOI BibTeX RDF
14	Taolue Chen, Tingting Han 0001, Joost-Pieter Katoen	Time-Abstracting Bisimulation for Probabilistic Timed Automata.	TASE	2008	DBLP DOI BibTeX RDF	time-abstracting bisimulation, probabilistic timed automata
14	Shih-Chiang Tsao, Yuan-Cheng Lai, Ying-Dar Lin	Taxonomy and Evaluation of TCP-Friendly Congestion-Control Schemes on Fairness, Aggressiveness, and Responsiveness.	IEEE Netw.	2007	DBLP DOI BibTeX RDF
14	Martine De Cock, Chris Cornelis, Etienne E. Kerre	Fuzzy Rough Sets: The Forgotten Step.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
14	Ninghui Li, Tiancheng Li, Suresh Venkatasubramanian	t-Closeness: Privacy Beyond k-Anonymity and l-Diversity.	ICDE	2007	DBLP DOI BibTeX RDF
14	Andrew M. Pitts, Mark R. Shinwell	Generative unbinding of names.	POPL	2007	DBLP DOI BibTeX RDF	alpha-conversion, meta-programming, abstract syntax, binders
14	Hong-bin Fang	Integrating Probability and Quotient Space Theory: Quotient Probability.	ICFIE	2007	DBLP DOI BibTeX RDF	Quotient Space Theory, Granular Computing, Probability Theory
14	Gaurav Aggarwal, Soma Biswas, Rama Chellappa	Symmetric Objects are Hardly Ambiguous.	CVPR	2007	DBLP DOI BibTeX RDF
14	Quanbao Sun, Minxuan Zhang, Liquan Xiao	Hardware-Based Multicast with Global Load Balance on k-ary n-trees.	ICPP	2007	DBLP DOI BibTeX RDF
14	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	Ready to Preorder: Get Your BCCSP Axiomatization for Free!	CALCO	2007	DBLP DOI BibTeX RDF
14	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation.	CSL	2007	DBLP DOI BibTeX RDF
14	Jacob A. Abraham, Daniel G. Saab	Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs.	VLSI Design	2007	DBLP DOI BibTeX RDF
14	Alberto Trombetta, Danilo Montesi	Equivalences and optimizations in an expressive XSLT subset.	Acta Informatica	2006	DBLP DOI BibTeX RDF
14	Sem C. Borst, Rudesindo Núñez-Queija, Bert Zwart	Sojourn time asymptotics in processor-sharing queues.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Bandwidth-sharing networks, Reduced service rate approximation, Light-tailed distributions, Large deviations, Processor sharing, Heavy-tailed distributions, Tail asymptotics
14	Andrew M. Pitts	Alpha-structural recursion and induction.	J. ACM	2006	DBLP DOI BibTeX RDF	recursion, induction, names, Abstract syntax, binders
14	Radu Mateescu 0001	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Boolean equation system, Verification, Temporal logic, Bisimulation, Partial-order reduction
14	Jeremy Sproston, Susanna Donatelli	Backward Bisimulation in Markov Chain Model Checking.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, Markov processes
14	Kirill Bogdanov 0002, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak	Testing methods for X-machines: a review.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing, Finite state machines, Test set generation, X-machines
14	Germain Faure	Matching Modulo Superdevelopments Application to Second-Order Matching.	LPAR	2006	DBLP DOI BibTeX RDF
14	Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier	Control in o-minimal Hybrid Systems.	LICS	2006	DBLP DOI BibTeX RDF
14	Søren B. Lassen	Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
14	Daniele Micciancio, Saurabh Panjwani	Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption.	ICALP (2)	2006	DBLP DOI BibTeX RDF
14	Zhi-jun Xie, Hong Chen 0001, Cuiping Li 0001	An Efficient Algorithm for Frequent Itemset Mining on Data Streams.	ICDM	2006	DBLP DOI BibTeX RDF
14	Taolue Chen, Wan J. Fokkink	On Finite Alphabets and Infinite Bases III: Simulation.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Rob J. van Glabbeek, Marc Voorhoeve	Liveness, Fairness and Impossible Futures.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
14	Michinori Nakata, Hiroshi Sakai	Applying Rough Sets to Data Tables Containing Imprecise Information Under Probabilistic Interpretation.	RSCTC	2006	DBLP DOI BibTeX RDF	Rough sets, Lower and upper approximations, Imprecise information
14	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines with Parameters.	FASE	2006	DBLP DOI BibTeX RDF
14	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
14	Mingsheng Ying	pi-calculus with noisy channels.	Acta Informatica	2005	DBLP DOI BibTeX RDF
14	Silvia Acid, Luis M. de Campos, Francisco Javier García Castellano	Learning Bayesian Network Classifiers: Searching in a Space of Partially Directed Acyclic Graphs.	Mach. Learn.	2005	DBLP DOI BibTeX RDF	partially directed acyclic graphs, classification, Bayesian networks, directed acyclic graphs, learning algorithms, scoring functions
14	Peter V. Homeier	A Design Structure for Higher Order Quotients.	TPHOLs	2005	DBLP DOI BibTeX RDF
14	Pierre Salverda, Grigore Rosu, Craig B. Zilles	Formally Defining and Verifying Master/Slave Speculative Parallelization.	FM	2005	DBLP DOI BibTeX RDF
14	James Laird	Decidability in Syntactic Control of Interference.	ICALP	2005	DBLP DOI BibTeX RDF
14	Martín Abadi, Bogdan Warinschi	Password-Based Encryption Analyzed.	ICALP	2005	DBLP DOI BibTeX RDF
14	Andrzej S. Murawski, Igor Walukiewicz	Third-Order Idealized Algol with Iteration Is Decidable.	FoSSaCS	2005	DBLP DOI BibTeX RDF
14	Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse	Nondeterministic Graph Searching: From Pathwidth to Treewidth.	MFCS	2005	DBLP DOI BibTeX RDF	treewidth, graph searching, pathwidth
14	Hong Tian, Zhao Pixi, Xiukun Wang	CRST: A Generalization of Rough Set Theory.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	Compatibility Rough Set Theory (CRST), Compatibility Relation, Fuzzy Compatibility Relation, Rough Set Theory (RST)
14	Sebastian Hunt, Isabella Mastroeni	The PER Model of Abstract Non-interference.	SAS	2005	DBLP DOI BibTeX RDF	abstract interpretation, Information flow, language-based security, non-interference
14	Jan Hidders, Stefania Marrara, Jan Paredaens, Roel Vercammen	On the Expressive Power of XQuery Fragments.	DBPL	2005	DBLP DOI BibTeX RDF
14	Yaqin Zhao, Xianzhong Zhou, Guizhong Tang	A Rough Set-Based Fuzzy Clustering.	AIRS	2005	DBLP DOI BibTeX RDF
14	Churn-Jung Liau, T. Y. Lin	Reasoning about relational granulation in modal logics.	GrC	2005	DBLP DOI BibTeX RDF
14	Ying-Tsai Chang, Kwang-Ting Cheng	Self-referential verification for gate-level implementations of arithmetic circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
14	Alberto Trombetta, Danilo Montesi	Equivalences and Optimizations in an Expressive XSLT Fragment.	IDEAS	2004	DBLP DOI BibTeX RDF
14	Jeremy Sproston, Susanna Donatelli	Backward Stochastic Bisimulation in CSL Model Checking.	QEST	2004	DBLP DOI BibTeX RDF
14	Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong	Syntactic Control of Concurrency.	ICALP	2004	DBLP DOI BibTeX RDF
14	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching Metrics for Quantitative Transition Systems.	ICALP	2004	DBLP DOI BibTeX RDF
14	James Laird	A Calculus of Coroutines.	ICALP	2004	DBLP DOI BibTeX RDF
14	A. J. van der Schaft	Bisimulation of Dynamical Systems.	HSCC	2004	DBLP DOI BibTeX RDF
14	Wan J. Fokkink, Sumit Nain	On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds.	FoSSaCS	2004	DBLP DOI BibTeX RDF
14	Wim Martens, Frank Neven, Thomas Schwentick	Complexity of Decision Problems for Simple Regular Expressions.	MFCS	2004	DBLP DOI BibTeX RDF
14	Claudio Sacerdoti Coen	A Semi-reflexive Tactic for (Sub-)Equational Reasoning.	TYPES	2004	DBLP DOI BibTeX RDF
14	Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri	Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD).	ISQED	2004	DBLP DOI BibTeX RDF
14	Witold R. Rudnicki, Henryk Jan Komorowski	Feature Synthesis and Extraction for the Construction of Generalized Properties of Amino Acids.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF
14	Herman Geuvers, Rob Nederpelt	Rewriting for Fitch Style Natural Deductions.	RTA	2004	DBLP DOI BibTeX RDF
14	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang	Complete Lax Logical Relations for Cryptographic Lambda-Calculi.	CSL	2004	DBLP DOI BibTeX RDF	Cryptographic lambda-calculus, Subscone, Monads, Logical relations
14	Mila E. Majster-Cederbaum, Jinzhao Wu	Adding Action Refinement to Stochastic True Concurrency Models.	ICFEM	2003	DBLP DOI BibTeX RDF
14	Jérôme Maloberti, Einoshin Suzuki	Improving Efficiency of Frequent Query Discovery by Eliminating Non-relevant Candidates.	Discovery Science	2003	DBLP DOI BibTeX RDF
14	Matthew Hennessy, Massimo Merro, Julian Rathke	Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.	FoSSaCS	2003	DBLP DOI BibTeX RDF
14	Bala Ravikumar	Weak Minimization of DFA - An Algorithm and Applications.	CIAA	2003	DBLP DOI BibTeX RDF
14	Martin Kutrib	Dimension- and Time-Hierarchies for Small Time Bounds.	FCT	2003	DBLP DOI BibTeX RDF
14	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Containment of Aggregate Queries.	ICDT	2003	DBLP DOI BibTeX RDF
14	Aleksander Malnic, Dragan Marusic, Norbert Seifter, Boris Zgrablic	Highly Arc-Transitive Digraphs With No Homomorphism Onto Z.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05C25, 05C20
14	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for Probabilistic Processes with True Concurrency Models.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
14	Antonín Kucera 0001, Richard Mayr	On the Complexity of Semantic Equivalences for Pushdown Automata and BPA.	MFCS	2002	DBLP DOI BibTeX RDF
14	Bernhard Gramlich, Reinhard Pichler	Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations.	CADE	2002	DBLP DOI BibTeX RDF
14	Ronald W. Brower, Kenneth S. Stevens	Congruent Weak Conformance, a Partial Order among Processes.	FORTE	2002	DBLP DOI BibTeX RDF
14	Federico Crazzolara, Glynn Winskel	Composing Strand Spaces.	FSTTCS	2002	DBLP DOI BibTeX RDF
14	Vladimir Lifschitz, David Pearce 0001, Agustín Valverde	Strongly equivalent logic programs.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic programming, stable models, answer sets
14	Flavio Corradini, Marco Pistore	'Closed Interval Process Algebra' versus 'Interval Process Algebra'.	Acta Informatica	2001	DBLP DOI BibTeX RDF