The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1973-1996 (17) 1997-2001 (16) 2002-2005 (21) 2006-2008 (15) 2009-2014 (15) 2015-2023 (13)
Publication types (Num. hits)
article(30) inproceedings(67)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 54 occurrences of 42 keywords

Results
Found 97 publication records. Showing 97 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
170Rajiv Gupta 0001 Generalized Dominators and Post-Dominators. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
128Maxim Teslenko, Elena Dubrova An Efficient Algorithm for Finding Double-Vertex Dominators in Circuit Graphs. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
128René Krenz, Elena Dubrova A fast algorithm for finding common multiple-vertex dominators in circuit graphs. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
93Loukas Georgiadis Computing Frequency Dominators and Related Problems. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
93Rene Krenz-Baath, Andreas Glowatz, Jürgen Schlöffel Computation and Application of Absolute Dominators in Industrial Designs. Search on Bibsonomy ETS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
93Loukas Georgiadis, Robert Endre Tarjan Finding dominators revisited: extended abstract. Search on Bibsonomy SODA The full citation details ... 2004 DBLP  BibTeX  RDF
78Bjorn De Sutter, Ludo Van Put, Koen De Bosschere A practical interprocedural dominance algorithm. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Interprocedural control flow graph, dominators, interprocedural analysis
76René Krenz Efficient computation of dominators in multiple-output circuit graphs. Search on Bibsonomy ISCAS (3) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
69Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook A New, Simpler Linear-Time Dominators Algorithm. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF flowgraphs, microtrees, path compression, compilers, dominators
59Loukas Georgiadis, Renato Fonseca F. Werneck, Robert Endre Tarjan, Spyridon Triantafyllis, David I. August Finding Dominators in Practice. Search on Bibsonomy ESA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook Corrigendum: a new, simpler linear-time dominators algorithm. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF flowgraphs, microtrees, path compression, Compilers, dominators
50Sujatha Srinivasan, Sivakumar Ramakrishnan Dominators vs pure dominators on the accuracy of a classifier with a multi objective cultural algorithm. Search on Bibsonomy ICACCI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
44Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal BDD Decomposition for Efficient Logic Synthesis. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Decomposition, Logic Synthesis, BDD, Dominators
42René Krenz, Elena Dubrova Improved Boolean function hashing based on multiple-vertex dominators. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Mahadevan Subramaniam, Jiangfan Shi Using Dominators to Extract Observable Protocol Contexts. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Tzong-Wann Kao, Shi-Jinn Horng Computing Dominators and Its Applications on Processor Arrays with Reconfigurable Bus Systems. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF bridge-connected components, reconfigurable bus system, dominator, undirected graphs, bridge, dominator tree, biconnected components, articulation point
42Thomas Lengauer, Robert Endre Tarjan A Fast Algorithm for Finding Dominators in a Flowgraph. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
34Elena Dubrova A Polynomial Time Algorithm for Non-Disjoint Decomposition of Multiple-Valued Functions. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Jaejin Lee, David A. Padua Hiding Relaxed Memory Consistency with Compilers. Search on Bibsonomy IEEE PACT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Matthew A. Hammer, Umut A. Acar, Yan Chen 0001 CEAL: a C-based language for self-adjusting computation. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation
27John Gilbert, David M. Abrahamson Adaptive Compression of Graph Structured Text. Search on Bibsonomy DCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF adaptive compression, graphs, dominators, lzw
27Maroun Kassab, Eduard Cerny, Sidi Aourid, Thomas H. Krodel Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Waveforms, Graph Dominators, Domain narrowing, Formal Verification, Timing Verification, Combinational Logic circuits
25Emad Jacob Maroun, Martin Schoeberl, Peter P. Puschner Constant-Loop Dominators for Single-Path Code Optimization. Search on Bibsonomy WCET The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Yosuke Mizutani, Annie Staker, Blair D. Sullivan Minimizing Congestion for Balanced Dominators. Search on Bibsonomy KDD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Nan Jiang A data flow analysis algorithm for computing dominators. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2021 DBLP  BibTeX  RDF
25Loukas Georgiadis, Konstantinos Giannis, Giuseppe F. Italiano, Aikaterini Karanasiou, Luigi Laura Dynamic Dominators and Low-High Orders in DAGs. Search on Bibsonomy ESA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Jiang Bian 0003, Weibo Wang, Xiang Zhang 0001, Wei Wang 0010, Arthur Huang, Zhishan Guo On Generating Dominators of Customer Preferences. Search on Bibsonomy IEEE BigData The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Hua Lu 0001, Man Lung Yiu, Xike Xie Querying spatial data by dominators in neighborhood. Search on Bibsonomy Inf. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Quan Liu, Yanbo Wang, Bo Yuan 0002 Matrix Factorization From a Few Dominators. Search on Bibsonomy IEEE Trans. Neural Networks Learn. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Yong Zheng 0001 Identifying Dominators and Followers in Group Decision Making based on The Personality Traits. Search on Bibsonomy IUI Workshops The full citation details ... 2018 DBLP  BibTeX  RDF
25Loukas Georgiadis, Thomas Dueholm Hansen, Giuseppe F. Italiano, Sebastian Krinninger, Nikos Parotsidis Decremental Data Structures for Connectivity and Dominators in Directed Graphs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
25Loukas Georgiadis, Thomas Dueholm Hansen, Giuseppe F. Italiano, Sebastian Krinninger, Nikos Parotsidis Decremental Data Structures for Connectivity and Dominators in Directed Graphs. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Federico Santaroni An Experimental Study of Dynamic Dominators. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
25Maxim Teslenko, Elena Dubrova A Linear-Time Algorithm for Finding All Double-Vertex Dominators of a Given Vertex. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
25David Gerard, Peter D. Hoff Equivariant minimax dominators of the MLE in the array normal model. Search on Bibsonomy J. Multivar. Anal. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Simone Wurster, Knut Blind, Sebastian Fischer Born Global Market Dominators: Insight into a Unique Class of Young Companies and Their Environment. Search on Bibsonomy Int. J. IT Stand. Stand. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert Endre Tarjan Corrections to "Finding dominators via disjoint set union" [J. Discrete Algorithms 23 (2013) 2-20]. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Loukas Georgiadis, Luigi Laura, Nikos Parotsidis, Robert Endre Tarjan Loop Nesting Forests, Dominators, and Applications. Search on Bibsonomy SEA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Aharon Abadi, Yishai A. Feldman A Parallel On-Demand Algorithm for Computing Interprocedural Dominators. Search on Bibsonomy SCAM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert Endre Tarjan Finding dominators via disjoint set union. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert Endre Tarjan Finding Dominators via Disjoint Set Union. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
25Loukas Georgiadis, Giuseppe F. Italiano, Luigi Laura, Federico Santaroni An Experimental Study of Dynamic Dominators. Search on Bibsonomy ESA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Loukas Georgiadis, Robert Endre Tarjan Dominators, Directed Bipolar Orders, and Independent Spanning Trees. Search on Bibsonomy ICALP (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Jianzhou Zhao, Steve Zdancewic Mechanized Verification of Computing Dominators for Formalizing Compilers. Search on Bibsonomy CPP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Thanh Dang Nguyen, Vyacheslav V. Zalyubovskiy, Hyunseung Choo Efficient Time Latency of Data Aggregation Based on Neighboring Dominators in WSNs. Search on Bibsonomy GLOBECOM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Konstantinos Patakakis, Loukas Georgiadis, Vasileios A. Tatsis Dynamic Dominators in Practice. Search on Bibsonomy Panhellenic Conference on Informatics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus Leveraging dominators for preprocessing QBF. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Adam L. Buchsbaum, Loukas Georgiadis, Haim Kaplan, Anne Rogers, Robert Endre Tarjan, Jeffery R. Westbrook Linear-Time Algorithms for Dominators and Other Path-Evaluation Problems. Search on Bibsonomy SIAM J. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Loukas Georgiadis, Robert Endre Tarjan, Renato Fonseca F. Werneck Finding Dominators in Practice. Search on Bibsonomy J. Graph Algorithms Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Luis Quesada 0001, Peter Van Roy, Yves Deville, Raphaël Collet Using Dominators for Solving Constrained Path Problems. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Roman Gershman, Maya Koifman, Ofer Strichman Deriving Small Unsatisfiable Cores with Dominators. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Elena Dubrova, Maxim Teslenko, Andrés Martinelli On relation between non-disjoint decomposition and multiple-vertex dominators. Search on Bibsonomy ISCAS (4) The full citation details ... 2004 DBLP  BibTeX  RDF
25Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
25G. Ramalingam On loops, dominators, and dominance frontiers. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF irreducible graph, iterated dominance frontier, least common ancestor, loop nesting forest, sparse evaluation, graph transformation, Dominator, loop
25Matthew Fluet, Stephen Weeks Contification Using Dominators. Search on Bibsonomy ICFP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Standard ML
25Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup Generalized Dominators for Structured Programs. Search on Bibsonomy Algorithmica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Emilio Carrizosa, Frank Plastria Dominators for Multiple-objective Quasiconvex Maximization Problems. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25G. Ramalingam On loops, dominators, and dominance frontier. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Stephen Alstrup, Dov Harel, Peter W. Lauridsen, Mikkel Thorup Dominators in Linear Time. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery R. Westbrook Linear-Time Pointer-Machine Algorithms for Least Common Ancestors, MST Verification, and Dominators. Search on Bibsonomy STOC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Tzong-Wann Kao, Shi-Jinn Horng Computing Dominators on Interval Graphs. Search on Bibsonomy J. Inf. Sci. Eng. The full citation details ... 1997 DBLP  BibTeX  RDF
25Stephen Alstrup, Jens Clausen, Kristian Jørgensen An O(|V|*|E|) Algorithm for Finding Immediate Multiple-Vertex Dominators. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Stephen Alstrup, Peter W. Lauridsen, Mikkel Thorup Generalized Dominators for Structured Programs. Search on Bibsonomy SAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Rajiv Gupta 0001 Generalized Dominators. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
25Hiralal Agrawal Dominators, Super Blocks, and Program Coverage. Search on Bibsonomy POPL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Shi-Jinn Horng Computing Dominators on a Cube-Connected Machine. Search on Bibsonomy Parallel Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
25Shi-Jinn Horng Parallel Compting Dominators on Hypercube Multiprocessors. Search on Bibsonomy ICCI The full citation details ... 1993 DBLP  BibTeX  RDF
25Bernd Becker 0001, Ralf Hahn, Rolf Krieger Fast fault simulation in combinational circuits: an efficient data structure, dynamic dominators and refined check-up. Search on Bibsonomy EURO-DAC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan Computing Dominators in Parallel. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
25Shaunak Pawagi, P. S. Gopalakrishnan, I. V. Ramakrishnan A Parallel Algorithm for Dominators. Search on Bibsonomy ICPP The full citation details ... 1986 DBLP  BibTeX  RDF
25Dov Harel A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems Search on Bibsonomy STOC The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Renata Ochranová Finding Dominators. Search on Bibsonomy FCT The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
25Robert Endre Tarjan Finding Dominators in Directed Graphs. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
17Nicholas Cameron 0001, Sophia Drossopoulou Existential Quantification for Variant Ownership. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Robert Endre Tarjan Reachability Problems on Directed Graphs. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Yang Zhao, John Boyland A Fundamental Permission Interpretation for Ownership Types. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ownership, Permission
17Paolo Bonzini, Laura Pozzi Polynomial-time subgraph enumeration for automated instruction set extension. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002 Infering Ownership Types for Encapsulated Object-Oriented Program Components. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17David Bañeres, Jordi Cortadella, Michael Kishinevsky Dominator-based partitioning for delay optimization. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic design, timing optimization, logic partitioning
17Vishwani D. Agrawal, Soumitra Bose, Vijay Gangaram Upper Bounding Fault Coverage by Structural Analysis and Signal Monitoring. Search on Bibsonomy VTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Jing Wu, Guo-Chang Gu RealTime-BestPoint-Based Compiler Optimization Algorithm. Search on Bibsonomy APWeb Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Real-time best-point, live-vertex, semilive-vertex, complete semilive-vertex
17Egon Balas, Cid C. de Souza The vertex separator problem: a polyhedral investigation. Search on Bibsonomy Math. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Loukas Georgiadis, Robert Endre Tarjan Dominator tree verification and vertex-disjoint paths. Search on Bibsonomy SODA The full citation details ... 2005 DBLP  BibTeX  RDF
17Gregor Snelting Concept Lattices in Software Analysis. Search on Bibsonomy Formal Concept Analysis The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Rajesh Venkatasubramanian, John P. Hayes Discovering 1-FT Routes in Mobile Ad Hoc Networks. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Benjamin Aminof, Thomas Ball, Orna Kupferman Reasoning About Systems with Transition Fairness. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Bo Gao, Yuhang Yang, Huiye Ma An Effective Distributed Approximation Algorithm for Constructing Minimum Connected Dominating Set in Wireless Ad Hoc Networks. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Bo Gao, Huiye Ma, Yuhang Yang A New Distributed Approximation Algorithm for Constructing Minimum Connected Dominating Set in Wireless Ad Hoc Networks. Search on Bibsonomy ISPA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Devdatt P. Dubhashi, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan, Aravind Srinivasan Fast distributed algorithms for (weakly) connected dominating sets and linear-size skeletons. Search on Bibsonomy SODA The full citation details ... 2003 DBLP  BibTeX  RDF Ad hoc networks, distributed algorithms, dominating sets
17Dick B. Simmons Measuring and Tracking Distributed Software Development Projects. Search on Bibsonomy FTDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Jaejin Lee, David A. Padua Hiding Relaxed Memory Consistency with a Compiler. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF relaxed memory consistency, fence, compiler, synchronization, NP-hard, dominator, Sequential consistency
17Chin Ngai Sze, Yu-Liang Wu Improved alternative wiring scheme applying dominator relationship. Search on Bibsonomy ASP-DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Congguang Yang, Maciej J. Ciesielski Synthesis for Mixed CMOS/PTl Logic. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Andrew Begel, Steven McCanne, Susan L. Graham BPF+: Exploiting Global Data-Flow Optimization in a Generalized Packet Filter Architecture. Search on Bibsonomy SIGCOMM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17T. Y. Chen, Y. Y. Cheung Structural Properties of Post-Dominator Trees. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF post dominator trees, program slicing, trees (mathematics), test suite reduction, structural properties, construction algorithm, code optimisation
17Torsten Grüning, Udo Mahlstedt, Wilfried Daehn, Cengiz Özcan Accelerated test pattern generation by cone-oriented circuit partitioning. Search on Bibsonomy EURO-DAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
17Matthew S. Hecht, Jeffrey D. Ullman Analysis of a Simple Algorithm for Global Flow Problems. Search on Bibsonomy POPL The full citation details ... 1973 DBLP  DOI  BibTeX  RDF available expressions, depth-first spanning tree, global data flow analysis, live variables, reducibility, dominance, code optimization, interval analysis, flow graph
Displaying result #1 - #97 of 97 (100 per page; Change: )
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