Search results for "pushout"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	Debashis Basak, Abhijit K. Choudhury, Ellen L. Hahne	Sharing memory in multistage ATM switches.	ICCCN	1995	DBLP DOI BibTeX RDF	multistage ATM switches, shared-memory switching elements, banyan topology, output queueing, local cell buffer memory, buffer management technique, delayed pushout, backpressure mechanism, telecommunication traffic, bursty traffic, load conditions
116	Michael Löwe, Hartmut Ehrig	Algebraic Approach to Graph Transformation Based on Single Pushout Derivations.	WG	1990	DBLP DOI BibTeX RDF
71	Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001	Sesqui-Pushout Rewriting.	ICGT	2006	DBLP DOI BibTeX RDF
71	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari, Leila Ribeiro 0001	Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.	WADT	2002	DBLP DOI BibTeX RDF
58	Adrian-Horia Dediu, Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Benedek Nagy	Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF	Contextual hypergraph grammars, contextual grammars, hyperedge replacement grammars, double-pushout hypergraph grammars, hypergraphs
55	Francesco Parisi-Presicce	Single vs. Double Pushout Derivations of Graphs.	WG	1992	DBLP DOI BibTeX RDF
49	Andrea Corradini 0001, Dominique Duval, Michael Löwe, Leila Ribeiro 0001, Rodrigo Machado, Andrei Costa, Guilherme Grochau Azzi, Jonas Santos Bezerra, Leonardo Marques Rodrigues	On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.	Graph Transformation, Specifications, and Nets	2018	DBLP DOI BibTeX RDF
49	Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro 0001, Annika Wagner, Andrea Corradini 0001	Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.	Handbook of Graph Grammars	1997	DBLP BibTeX RDF
46	Thomas Soboll	On the Construction of Transformation Steps in the Category of Multiagent Systems.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
46	Gabriele Taentzer	Distributed Graphs and Graph Transformation.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	distributed systems, formal specification, graph transformation
43	Hussein Karam, Aboul Ella Hassanien, Masayuki Nakajima 0001	Visual Simulation of Texture/Non-Texture Image Synthesis.	Computer Graphics International	2000	DBLP DOI BibTeX RDF	Double-pushout Construction, Texture Synthesis, Fractals, Graph Grammars, L-System, Pattern Generation, Graph Productions
43	Vijay Srinivasan, Anoop Ghanwani, Erol Gelenbe	A simulation study of schemes for block loss reduction in ATM networks using FEC and buffer management.	ICCCN	1995	DBLP DOI BibTeX RDF	block loss reduction, block loss rate, priority-based cell discarding, adaptive pushout algorithm, ADP algorithm, simulation, quality-of-service, asynchronous transfer mode, correlations, ATM network, FEC, forward error correction, buffer management, performance metrics, performance enhancement
40	Dominique Duval, Rachid Echahed, Frédéric Prost	A Heterogeneous Pushout Approach to Term-Graph Transformation.	RTA	2009	DBLP DOI BibTeX RDF
40	Andrew Solomon	Pushout: A Mathematical Model of Architectural Merger.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
40	Kumar Padmanabh	Cost Sensitive Pushout Policy and Expelling Policy with Dynamic Threshold for Shared memory switches with Versatile Traffic.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
40	Hans Jürgen Schneider	Changing Labels in the Double-Pushout Approach Can Be Treated Categorically.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
40	Keith A. Hardie, Klaus Heiner Kamps, Peter J. Witbooi	A 2-groupoid Characterisation of the Cubical Homotopy Pushout.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	homotopy colimit, mapping simplex, homotopy 2-groupoid, coherent homotopy category, semitrack, interchange 2-track
40	P. M. van den Broek	Algebraic Graph Rewriting Using a Single Pushout.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
31	Maxime Rebout, Louis Féraud, Sergei Soloviev 0001	A Unified Categorical Approach for Attributed Graph Rewriting.	CSR	2008	DBLP DOI BibTeX RDF
31	Hartmut Ehrig, Fernando Orejas, Ulrike Prange	Categorical Foundations of Distributed Graph Transformation.	ICGT	2006	DBLP DOI BibTeX RDF
31	Annegret Habel, Detlef Plump	Relabelling in Graph Transformation.	ICGT	2002	DBLP DOI BibTeX RDF
31	Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001	Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	concurrent and reactive systems, loose semantics, final coalgebra semantics, graph rewriting, categorical models, graph transformation systems, behavioral constraints
31	Frank Drewes, Berthold Hoffmann, Detlef Plump	Hierarchical Graph Transformation.	FoSSaCS	2000	DBLP DOI BibTeX RDF
27	Abhijit K. Choudhury, Ellen L. Hahne	Dynamic queue length thresholds for shared-memory packet switches.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	pushout, queue length thresholds, shared-memory switch, asynchronous transfer mode, memory management, adaptive thresholds, buffer allocation, dynamic thresholds
27	Abhijit K. Choudhury, Ellen L. Hahne	A new buffer management scheme for hierarchical shared memory switches.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	backpressure, buffer memories, hierarchical switch, pushout, asynchronous transfer mode, memory management, shared memory systems, priorities, queuing analysis, losses
25	Robert Söldner, Detlef Plump	Formalising the Double-Pushout Approach to Graph Transformation.	CoRR	2023	DBLP DOI BibTeX RDF
25	Jens Kosiol, Gabriele Taentzer	A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
25	Yukang Jiang, Naoto Miyoshi	Joint Performance Analysis of Ages of Information in a Multi-Source Pushout Server.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
25	Tikhon Pshenitsyn	From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality.	TERMGRAPH@FSCD	2022	DBLP DOI BibTeX RDF
25	Robert Söldner, Detlef Plump	Towards Mechanised Proofs in Double-Pushout Graph Transformation.	GCM@STAF	2022	DBLP DOI BibTeX RDF
25	Patrick Stünkel, Harald König	Single pushout rewriting in comprehensive systems of graph-like structures.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
25	Jens Kosiol, Gabriele Taentzer	A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.	CoRR	2021	DBLP BibTeX RDF
25	Kristopher Brown, Evan Patterson, James P. Fairbanks	Double pushout rewriting of C-sets.	CoRR	2021	DBLP BibTeX RDF
25	Jens Kosiol, Gabriele Taentzer	A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.	ICGT	2021	DBLP DOI BibTeX RDF
25	Yukang Jiang, Naoto Miyoshi	Joint performance analysis of ages of information in a multi-source pushout server.	CoRR	2020	DBLP BibTeX RDF
25	Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer	Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
25	Wojciech Palacz, Iwona Grabska-Gradzinska	Textual Representation of Pushout Transformation Rules.	CDVE	2020	DBLP DOI BibTeX RDF
25	Harald König, Patrick Stünkel	Single Pushout Rewriting in Comprehensive Systems.	ICGT	2020	DBLP DOI BibTeX RDF
25	Nicolas Behr	Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework.	GCM@STAF	2019	DBLP DOI BibTeX RDF
25	Michael Löwe	Double-Pushout Rewriting in Context - Rule Composition and Parallel Independence.	ICGT	2019	DBLP DOI BibTeX RDF
25	Till Mossakowski, Bernd Krieg-Brückner	Partial pushout semantics of generics in DOL.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
25	Michael Löwe	Double-Pushout Rewriting in Context.	STAF Workshops	2018	DBLP DOI BibTeX RDF
25	Andrea Corradini 0001, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro 0001	The Pullback-Pushout Approach to Algebraic Graph Transformation.	ICGT	2017	DBLP DOI BibTeX RDF
25	Michael Löwe	Sesqui-Pushout Rewriting with Type Refinements.	ICGT	2016	DBLP DOI BibTeX RDF
25	Michael Löwe, Marius Tempelmeier	On Single-Pushout Rewriting of Partial Algebras.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2015	DBLP DOI BibTeX RDF
25	Michael Löwe	Polymorphic Sesqui-Pushout Graph Rewriting.	ICGT	2015	DBLP DOI BibTeX RDF
25	Michael Löwe, Marius Tempelmeier	Single-Pushout Rewriting of Partial Algebras.	GCM@ICGT	2015	DBLP BibTeX RDF
25	Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki	Reversible Sesqui-Pushout Rewriting.	ICGT	2014	DBLP DOI BibTeX RDF
25	Michael Löwe, Harald König, Christoph Schulz 0002	Polymorphic Single-Pushout Graph Transformation.	FASE	2014	DBLP DOI BibTeX RDF
25	Kazushige Hayashi, Shigeo Shioda, Nobuyoshi Komuro, Shiro Sakata, Tutomu Murase	Adaptive Pushout: A Buffer Management Scheme to Improve TCP Fairness in Wireless LANs.	VTC Spring	2012	DBLP DOI BibTeX RDF
25	Marvin Heumüller, Salil Joshi 0002, Barbara König 0001, Jan Stückrath	Construction of Pushout Complements in the Category of Hypergraphs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
25	Benjamin Braatz, Ulrike Golas, Thomas Soboll	How to delete categorically - Two pushout complement constructions.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
25	Leszek Kotulski, Adam Sedziwy	Parallel Graph Transformations with Double Pushout Grammars.	ICAISC (2)	2010	DBLP DOI BibTeX RDF
25	Shigeo Shioda, Hiroto Iijima, Tamaki Nakamura, Shiro Sakata, Yumi Hirano, Tutomu Murase	ACK pushout to achieve TCP fairness under the existence of bandwidth asymmetry.	PM2HW2N@MSWiM	2010	DBLP DOI BibTeX RDF
25	Wolfram Kahl	Amalgamating Pushout and Pullback Graph Transformation in Collagories.	ICGT	2010	DBLP DOI BibTeX RDF
25	Dominique Duval, Rachid Echahed, Frédéric Prost	A Cloning Pushout Approach to Term-Graph Transformation	CoRR	2008	DBLP BibTeX RDF
25	Hans J. Schneider	Relabeling and the Independence Theorem in the Double-Pushout Approach to Graph Transformations.	Bull. EATCS	2007	DBLP BibTeX RDF
25	Mercè Llabrés, Francesc Rosselló	The uniqueness condition for the double pushout transformation of algebras.	Inf. Sci.	2005	DBLP DOI BibTeX RDF
25	Ricardo Alberich, Mercè Llabrés, Francesc Rosselló	Single-Pushout Transformation Of Total Algebras.	Int. J. Found. Comput. Sci.	2004	DBLP DOI BibTeX RDF
25	Ruey-Bin Yang, Yuan-Sun Chu, Cheng-Shong Wu, Ming-Cheng Liang	Pushout with virtual thresholds buffer management scheme in a shared buffer ATM switch.	Int. J. Netw. Manag.	2003	DBLP DOI BibTeX RDF
25	Martin Streibl, Kai Esmark, A. Sieck, Wolfgang Stadler, M. Wendel, J. Szatkowski, Harald Gossner	Harnessing the base-pushout effect for ESD protection in bipolar and BiCMOS technologies.	Microelectron. Reliab.	2003	DBLP DOI BibTeX RDF
25	Peter Burmeister, Mercè Llabrés, Francesc Rosselló	Pushout Complements for Partly Total Algebras.	Math. Struct. Comput. Sci.	2002	DBLP DOI BibTeX RDF
25	Ruey-Bin Yang, Yuan-Sun Chu, Ming-Cheng Liang, Cheng-Shong Wu	Pushout with global thresholds buffer control scheme in a shared buffer ATM switch.	ICON	2002	DBLP DOI BibTeX RDF
25	Mercè Llabrés, Francesc Rosselló	Towards a Double Pushout Transformation of Algebras.	GETGRATS Closing Workshop	2001	DBLP DOI BibTeX RDF
25	Annegret Habel, Jürgen Müller, Detlef Plump	Double-pushout graph transformation revisited.	Math. Struct. Comput. Sci.	2001	DBLP DOI BibTeX RDF
25	Julian D. Ho, Samar Singh, Neeraj K. Sharma	Analytical modeling of multicast-pushout in shared-memory ATM switches.	ICC	2001	DBLP DOI BibTeX RDF
25	Peter Burmeister, Miquel Monserrat, Francesc Rosselló, Gabriel Valiente	Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
25	Mercè Llabrés, Francesc Rosselló	Pushout Complements for Arbitrary Partial Algebras.	TAGT	1998	DBLP DOI BibTeX RDF
25	Paolo Baldan, Andrea Corradini 0001, Ugo Montanari	Unfolding of Double-Pushout Graph Grammars is a Coreflection.	TAGT	1998	DBLP DOI BibTeX RDF
25	Annegret Habel, Jürgen Müller, Detlef Plump	Double-Pushout Approach with Injective Matching.	TAGT	1998	DBLP DOI BibTeX RDF
25	Mercè Llabrés, Francesc Rosselló	Double-Pushout Hypergraph Rewriting Using Total Conformisms.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
25	Peter Burmeister, Francesc Rosselló, Joan Torrens, Gabriel Valiente	Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
25	Yu-Sheng Lin, C. Bernard Shung	Quasi-pushout cell discarding.	IEEE Commun. Lett.	1997	DBLP DOI BibTeX RDF
25	Andrea Corradini 0001, Ugo Montanari, Francesca Rossi 0001, Hartmut Ehrig, Reiko Heckel, Michael Löwe	Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.	Handbook of Graph Grammars	1997	DBLP BibTeX RDF
25	Paulo A. S. Veloso	On Pushout Consistency, Modularity and Interpolation for Logical Specifications.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
25	Abhijit K. Choudhury, Ellen L. Hahne	New implementation of multi-priority pushout for shared memory ATM switches.	Comput. Commun.	1996	DBLP DOI BibTeX RDF
25	Martin Korff, Leila Ribeiro 0001	Concurrent derivations as single pushout graph grammar processes.	SEGRAGRA	1995	DBLP DOI BibTeX RDF
25	Richard Banach	Locating the Contractum in the Double Pushout Approach.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
25	Michael Löwe	Algebraic Approach to Single-Pushout Graph Transformation.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
25	Hartmut Ehrig, Michael Löwe	Parallel and Distributed Derivations in the Single-Pushout Approach.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
25	Martin Korff	Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
25	Andrea Corradini 0001, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi 0001	Abstract Graph Derivations in the Double Pushout Approach.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
25	Yasuo Kawahara, Yoshihiro Mizoguchi	Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
25	Hartmut Ehrig, Michael Löwe	From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.	Informatik zwischen Wissenschaft und Gesellschaft	1992	DBLP DOI BibTeX RDF
25	Yasuo Kawahara	Pushout-Complements and Basic Concepts of Grammars in Toposes.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF
25	Bernt Lindström	On Strong Joins and Pushout of Combinatorial Geometries.	J. Comb. Theory, Ser. A	1978	DBLP DOI BibTeX RDF
15	Jorge Martinez 0001, Eric Richard Zenk	Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D22, Secondary 18A20 - 18A30
15	Michel Bauderon, Rui Chen, Olivier Ly	Context-Free Categorical Grammars.	CAI	2009	DBLP DOI BibTeX RDF	context-freeness, grammar, Category, rewriting system
15	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Unfolding Grammars in Adhesive Categories.	CALCO	2009	DBLP DOI BibTeX RDF
15	Ulrike Prange, Hartmut Ehrig, Leen Lambers	Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A05, 18A30, 18A32, 18C10, 18D99
15	Andrea Corradini 0001, Frank Hermann 0001, Pawel Sobocinski 0001	Subobject Transformation Systems.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B35, 68Q10, 68Q42
15	Christian Koehler 0001, Farhad Arbab, Erik P. de Vink	Reconfiguring Distributed Reo Connectors.	WADT	2008	DBLP DOI BibTeX RDF
15	Salil Joshi 0002, Barbara König 0001	Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems.	CAV	2008	DBLP DOI BibTeX RDF
15	Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg	Transformations in Reconfigurable Place/Transition Systems.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
15	Xinlin Zhang, Huaikou Miao, Shenghong Li	An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category.	ICYCS	2008	DBLP DOI BibTeX RDF
15	Debjit Sinha, Gregory Schaeffer, Soroush Abbaspour, Alex Rubin, Frank Borkam	Constrained aggressor set selection for maximum coupling noise.	ICCAD	2008	DBLP DOI BibTeX RDF
15	Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas	Embedding and Confluence of Graph Transformations with Negative Application Conditions.	ICGT	2008	DBLP DOI BibTeX RDF
15	Guilherme Rangel, Leen Lambers, Barbara König 0001, Hartmut Ehrig, Paolo Baldan	Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
15	Filippo Bonchi, Fabio Gadducci, Tobias Heindel	Parallel and Sequential Independence for Borrowed Contexts.	ICGT	2008	DBLP DOI BibTeX RDF
15	Esther Guerra, Juan de Lara	Event-driven grammars: relating abstract and concrete levels of visual languages.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars