Search results for "largeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Daniele Varacca, Hagen Völzer	Temporal Logics and Model Checking for Fairly Correct Systems.	LICS	2006	DBLP DOI BibTeX RDF
61	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Stochastic Modeling Formalisms for Dependability, Performance and Performability.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
56	Qizhi Fang, Liang Kong	Core Stability of Vertex Cover Games.	WINE	2007	DBLP DOI BibTeX RDF	Vertex cover game, stable core, largeness, exactness, balanced, extendability
52	Qizhi Fang, Rudolf Fleischer, Jian Li 0015, Xiaoxun Sun	Algorithms for Core Stability, Core Largeness, Exactness, and Extendability of Flow Games.	COCOON	2007	DBLP DOI BibTeX RDF
40	Timothy Y. Chow	Almost-Natural Proofs.	FOCS	2008	DBLP DOI BibTeX RDF
32	Alex Creiner, Stephen Jackson	Borel complexity and Ramsey largeness of sets of oracles separating complexity classes.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
32	Alex Creiner, Stephen Jackson	Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes.	CoRR	2022	DBLP DOI BibTeX RDF
32	Vitaly Bergelson, Daniel Glasscock	On the interplay between additive and multiplicative largeness and its combinatorial applications.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
32	Amit K. Biswas	Largeness of the Core of k-Convex Symmetric Games.	IGTR	2013	DBLP DOI BibTeX RDF
32	Gerald Williams	Largeness and Sq-Universality of cyclically Presented Groups.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
32	Arantza Estévez-Fernández	New characterizations for largeness of the core.	Games Econ. Behav.	2012	DBLP DOI BibTeX RDF
32	Jack O. Button, A. Thillaisundaram	Applications of P-Deficiency and P-largeness.	Int. J. Algebra Comput.	2011	DBLP DOI BibTeX RDF
32	Samir M. Koriem, Wail S. El-Kilani	A new disk-based technique for solving the largeness problem of stochastic modeling formalisms.	J. Syst. Softw.	2004	DBLP DOI BibTeX RDF
32	Samir M. Koriem, Wail S. El-Kilani	A New Disk-based Technique for Solving the Largeness Problem of Stochastic Modeling Formalisms.	J. King Saud Univ. Comput. Inf. Sci.	2003	DBLP DOI BibTeX RDF
32	Neil Hindman, Imre Leader, Dona Strauss	Image partition regular matrices--bounded solutions and preservation of largeness.	Discret. Math.	2002	DBLP DOI BibTeX RDF
32	Amit K. Biswas, T. Parthasarathy, G. Ravindran	Stability and Largeness of the Core.	Games Econ. Behav.	2001	DBLP DOI BibTeX RDF
32	Amit K. Biswas, G. Ravindran, T. Parthasarathy	Stability and largeness of core for symmetric games.	Int. J. Game Theory	2000	DBLP DOI BibTeX RDF
32	Bindu Rama Rao	Exploring largeness, complexity and scalability from the OOT perspective.	OOPSLA Addendum	1997	DBLP DOI BibTeX RDF
32	Bo Sundgren	The elements of largeness - a contribution to the theory of information systems.	Trends in Information Systems	1986	DBLP BibTeX RDF
20	Federica Mandreoli, Riccardo Martoglia, Giorgio Villani, Wilma Penzo	Flexible query answering on graph-modeled data.	EDBT	2009	DBLP DOI BibTeX RDF
20	Do Young Eun, Xinbing Wang	Achieving 100% throughput in TCP/AQM under aggressive packet marking with small buffer.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	router buffer sizing, small buffer, transmission control protocol, TCP/IP, stochastic modeling
20	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye, Marcus Größer	Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.	LICS	2008	DBLP DOI BibTeX RDF
20	Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi	Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	failure correlation, performance, reliability, resource management, data dependence, Grid system
20	Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi	Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing.	AINA	2007	DBLP DOI BibTeX RDF
20	Rashid Mehmood, Jon Crowcroft, Jaafar M. H. Elmirghani	A Parallel Implicit Method for the Steady-State Solution of CTMCs.	MASCOTS	2006	DBLP DOI BibTeX RDF
20	Xiaoxun Sun, Qizhi Fang	Core Stability of Flow Games.	CJCDGCGT	2005	DBLP DOI BibTeX RDF
20	Peter Buchholz 0001, Peter Kemper	Kronecker Based Matrix Representations for Large Markov Models.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
20	Thomas Bietenhader, Yoshio Okamoto	Core Stability of Minimum Coloring Games.	WG	2004	DBLP DOI BibTeX RDF
20	Swapna S. Gokhale, Kishor S. Trivedi	Reliability Prediction and Sensitivity Analysis Based on Software Architecture.	ISSRE	2002	DBLP DOI BibTeX RDF
20	Gagan Rath, Christine Guillemot	Syndrome Decoding and Performance Analysis of DFT Codes with Bursty Erasures.	DCC	2002	DBLP DOI BibTeX RDF	DFT codes, erasures, bursty erasures, performance analysis, BCH codes, syndrome decoding
20	Hairong Sun, Xinyu Zang, Kishor S. Trivedi	Performance of broadcast and unknown server (BUS) in ATM LAN emulation.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	LAN emulation, broadcast and unknown server, stochastic petri net package, ATM, stochastic reward nets
20	Varsha Mainkar, Kishor S. Trivedi	Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence