Search results for "flowgraphs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Oswaldo Vernet, Lilian Markenzon	Hamiltonian Problems for Reducible Flowgraphs.	SCCC	1997	DBLP DOI BibTeX RDF	Hamiltonian problems, reducible flowgraphs, unique Hamiltonian cycle, source vertex, Hamiltonian cycle, Hamiltonian path, flow graphs
67	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	A New, Simpler Linear-Time Dominators Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	flowgraphs, microtrees, path compression, compilers, dominators
67	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Optimal Code Motion: Theory and Practice.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	t-refined flow graphs, critical edges, elimination of partial redundancies, lifetimes of registers, nondeterministic flowgraphs, data flow analysis, code motion, lifetime optimality, computational optimality
49	Sebastian Unger, Frank Mueller 0001	Handling irreducible loops: optimized node splitting versus DJ-graphs.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	irreducible flowgraphs, reducible flowgraphs, compilation, instruction-level parallelism, Code optimization, loops, control flow graphs, node splitting
49	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	DJ graphs, Tarjan's interval, exhaustive and incremental data flow analysis, irreducible flowgraphs, reducible flowgraphs
49	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	Identifying Loops Using DJ Graphs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	DJ graphs, Tarjan's interval, irreducible flowgraphs, reducible flowgraphs, dominator trees
46	Zahira Ammarguellat	A Control-Flow Normalization Algorithm and Its Complexity.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	control-flow normalization algorithm, control flowgraphs, control-flow cycles, GOTOs, node-splitting techniques, control dependence relations, parallel algorithms, computational complexity, complexity, graph theory, automatic parallelization, structured programming, syntax tree
43	Attila Csenki	Flowgraph Models in Reliability and Finite Automata.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
43	Bernhard Scholz, Johann Blieberger	A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.	CC	2007	DBLP DOI BibTeX RDF
29	Yaesop Lee, Yanzhou Liu 0001, Karol Desnos, Lee Barford, Shuvra S. Bhattacharyya	Passive-Active Flowgraphs for Efficient Modeling and Design of Signal Processing Systems.	J. Signal Process. Syst.	2020	DBLP DOI BibTeX RDF
29	Carlos Eduardo Ferreira, Álvaro Junio Pereira Franco	A min-max relation in flowgraphs and some applications.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
29	Carlos E. Ferreira, Álvaro Junio Pereira Franco	A min-max relation in flowgraphs.	Electron. Notes Discret. Math.	2015	DBLP DOI BibTeX RDF
29	Andrzej Czyzewski, Karol Lisowski	Employing flowgraphs for forward route reconstruction in video surveillance system.	J. Intell. Inf. Syst.	2014	DBLP DOI BibTeX RDF
29	Anthony Anjorin, Marius Lauder	A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon.	TTC	2013	DBLP DOI BibTeX RDF
29	Valerio Cosentino, Massimo Tisi, Fabian Büttner	Analyzing Flowgraphs with ATL.	TTC	2013	DBLP DOI BibTeX RDF
29	Tassilo Horn	Solving the TTC 2013 Flowgraphs Case with FunnyQT.	TTC	2013	DBLP DOI BibTeX RDF
29	Georg Hinkel, Thomas Goldschmidt, Lucia Happe	An NMF solution for the Flowgraphs case at the TTC 2013.	TTC	2013	DBLP DOI BibTeX RDF
29	Jesús Sánchez Cuadrado	Solving the Flowgraphs Case with Eclectic.	TTC	2013	DBLP DOI BibTeX RDF
29	Tassilo Horn	The TTC 2013 Flowgraphs Case.	TTC	2013	DBLP DOI BibTeX RDF
29	Oswaldo Vernet, Lilian Markenzon	Solving problems for maximal reducible flowgraphs.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
29	Oswaldo Vernet, Lilian Markenzon	Solving Problems for Maximal Reducible Flowgraphs.	Electron. Notes Discret. Math.	2001	DBLP DOI BibTeX RDF
29	Yongming Tang, Ali H. Dogru, Franz J. Kurfess, Murat M. Tanik	Computing Cyclomatic Complexity with Cubic Flowgraphs.	J. Syst. Integr.	2001	DBLP DOI BibTeX RDF
29	Stephen H. Edwards	Black-box testing using flowgraphs: an experimental assessment of effectiveness and automation potential.	Softw. Test. Verification Reliab.	2000	DBLP DOI BibTeX RDF
29	Colin Cooper	Asymptotic Enumeration of Predicate-Junction Flowgraphs.	Comb. Probab. Comput.	1996	DBLP DOI BibTeX RDF
29	Rudi Lutz	Chart Parsing of Flowgraphs.	IJCAI	1989	DBLP BibTeX RDF
29	T. H. Tse	On the Detection of Unstructuredness in Flowgraphs.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
29	Sridhar Vasudevan	Inner Loops in Flowgraphs and Code Optimization.	Acta Informatica	1982	DBLP DOI BibTeX RDF
29	Jose Luis Becerril, Jose Bondia, Ramón Casajuana, Francisco Valer	Grammar Characterization of Flowgraphs.	IBM J. Res. Dev.	1980	DBLP DOI BibTeX RDF
29	Robin Milner	Flowgraphs and Flow Algebras.	J. ACM	1979	DBLP DOI BibTeX RDF
29	Jorge E. Rodriguez, Sol J. Greenspan	Directed flowgraphs: The basis of a specification and construction methodology for real-time systems.	J. Syst. Softw.	1979	DBLP DOI BibTeX RDF
29	Uno R. Kodres	Analysis of Real-Time Systems by Data Flowgraphs.	IEEE Trans. Software Eng.	1978	DBLP DOI BibTeX RDF
29	Brenda S. Baker	An Algorithm for Structuring Flowgraphs.	J. ACM	1977	DBLP DOI BibTeX RDF
29	John D. Lipson	Flowgraphs and their Generating Functions.	IFIP Congress	1974	DBLP BibTeX RDF
24	Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook	Corrigendum: a new, simpler linear-time dominators algorithm.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	flowgraphs, microtrees, path compression, Compilers, dominators
24	G. Ramalingam	Identifying Loops in Almost Linear Time.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	irreducible flowgraphs, loops
21	Paul D. Fiore	Efficient Approximate Wordlength Optimization.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
21	Jonathan Edwards	No ifs, ands, or buts: uncovering the simplicity of conditionals.	OOPSLA	2007	DBLP DOI BibTeX RDF	refactoring, visual programming, polymorphism, decision tables, control structures
21	René Krenz	Efficient computation of dominators in multiple-output circuit graphs.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
21	C. F. Prince, Vinita Vasudevan	Symbolic Analysis of Analog Integrated Circuits.	VLSI Design	1998	DBLP DOI BibTeX RDF
21	Kyosun Kim, Ramesh Karri, Miodrag Potkonjak	Synthesis of Application Specific Programmable Processors.	DAC	1997	DBLP DOI BibTeX RDF
21	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs.	PLDI	1996	DBLP DOI BibTeX RDF
21	Vugranam C. Sreedhar, Guang R. Gao	A Linear Time Algorithm for Placing phi-nodes.	POPL	1995	DBLP DOI BibTeX RDF