Search results for "dominator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Shariful Hasan Shaikot, Venkatesh Sarangan	Energy aware routing in high capacity overlays in wireless sensor networks.	AICCSA	2008	DBLP DOI BibTeX RDF
16	Girish Venkataramani, Seth Copen Goldstein	Operation chaining asynchronous pipelined circuits.	ICCAD	2007	DBLP DOI BibTeX RDF
16	Xiaoping Zhao, Shouming Chen	Integration of Mobile Business and Traditional Business to Acquire Competitive Advantages: A Case Study in China Entertainment Industry.	ICMB	2007	DBLP DOI BibTeX RDF
16	Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu	Structural Invariants.	SAS	2006	DBLP DOI BibTeX RDF
16	Vadim Drabkin, Roy Friedman, Maria Gradinariu	Self-stabilizing Wireless Connected Overlays.	OPODIS	2006	DBLP DOI BibTeX RDF
16	Elena Dubrova	Structural Testing Based on Minimum Kernels.	DATE	2005	DBLP DOI BibTeX RDF
16	Elena Dubrova	Linear-time algorithm for computing minimum checkpoint sets for simulation-based verification of HDL programs.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
16	Mahadevan Subramaniam, Jiangfan Shi	Using Dominators to Extract Observable Protocol Contexts.	SEFM	2005	DBLP DOI BibTeX RDF
16	Rajesh Venkatasubramanian, John P. Hayes	Discovering 1-FT Routes in Mobile Ad Hoc Networks.	DSN	2004	DBLP DOI BibTeX RDF
16	Andrés Martinelli, René Krenz, Elena Dubrova	Disjoint-support Boolean decomposition combining functional and structural methods.	ASP-DAC	2004	DBLP DOI BibTeX RDF
16	Andrew Riffel, Aaron E. Lefohn, Kiril Vidimce, Mark Leone, John D. Owens	Mio: fast multipass partitioning via priority-based instruction scheduling.	Graphics Hardware	2004	DBLP DOI BibTeX RDF
16	Devdatt P. Dubhashi, Alessandro Mei, Alessandro Panconesi, Jaikumar Radhakrishnan, Aravind Srinivasan	Fast distributed algorithms for (weakly) connected dominating sets and linear-size skeletons.	SODA	2003	DBLP BibTeX RDF	Ad hoc networks, distributed algorithms, dominating sets
16	Donghoon Kim, Bonam Kim, Min-Te Sun	A Simple Protocol for Dominating Set Construction in Mobile Ad Hoc Networks.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
16	René Krenz, Elena Dubrova, Andreas Kuehlmann	Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation.	ISMVL	2003	DBLP DOI BibTeX RDF
16	J. Jenny Li, W. Eric Wong	Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	CEFSM, specification, test generation, SDL
16	David G. Clarke, James Noble 0001, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
16	M. Enamul Amyeen, W. Kent Fuchs, Irith Pomeranz, Vamsi Boppana	Implication and Evaluation Techniques for Proving Fault Equivalence.	VTS	1999	DBLP DOI BibTeX RDF
16	Keith D. Cooper, Philip J. Schielke	Non-local Instruction Scheduling with Limited Code Growth.	LCTES	1998	DBLP DOI BibTeX RDF
16	Michael J. Bourke III, Philip H. Sweany, Steven J. Beaty	Extending List Scheduling to Consider Execution Frequency.	HICSS (1)	1996	DBLP DOI BibTeX RDF
16	Keshav Pingali, Gianfranco Bilardi	APT: A Data Structure for Optimal Control Dependence Computation.	PLDI	1995	DBLP DOI BibTeX RDF
16	Peng Tu, David A. Padua	Efficient Building and Placing of Gating Functions.	PLDI	1995	DBLP DOI BibTeX RDF
16	Pi-Yu Chung, Yi-Min Wang, Ibrahim N. Hajj	Logic design error diagnosis and correction.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
16	Hiralal Agrawal	Dominators, Super Blocks, and Program Coverage.	POPL	1994	DBLP DOI BibTeX RDF
16	Harini Srinivasan, James Hook, Michael Wolfe	Static Single Assignment for Explicitely Parallel Programs.	POPL	1993	DBLP DOI BibTeX RDF
16	Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel	Efficient Construction of Program Dependence Graphs.	ISSTA	1993	DBLP DOI BibTeX RDF
16	Barbara G. Ryder, William Landi, Hemant D. Pande	Profiling an Incremental Data Flow Analysis Algorithm.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	incremental data flow analysis algorithm, empirical profiling, parallel programming, program testing, evolving software systems