Search results for "finite systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
1	Stefan Göller, Richard Mayr, Anthony Widjaja To	On the Computational Complexity of Verifying One-Counter Processes.	LICS	2009	DBLP DOI BibTeX RDF
1	Husheng Li, H. Vincent Poor	Large System Spectral Analysis of Covariance Matrix Estimation.	IEEE Transactions on Information Theory	2009	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Marco Faella, Mariëlle Stoelinga	Linear and Branching System Metrics.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
1	Konstantinos Chatzikokolakis, Gethin Norman, David Parker	Bisimulation for Demonic Schedulers.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
1	Salvatore La Torre, P. Madhusudan, Gennaro Parlato	Context-Bounded Analysis of Concurrent Queue Systems.	TACAS	2008	DBLP DOI BibTeX RDF
1	Károly Bezdek	From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams.	ISVD	2007	DBLP DOI BibTeX RDF
1	Santiago Escobar, José Meseguer	Symbolic Model Checking of Infinite-State Systems Using Narrowing.	RTA	2007	DBLP DOI BibTeX RDF
1	Frédéric Herbreteau, Grégoire Sutre, The Quang Tran	Unfolding Concurrent Well-Structured Transition Systems.	TACAS	2007	DBLP DOI BibTeX RDF
1	Peijuan Liu, Randall A. Berry, Michael L. Honig	A Fluid Analysis of a Utility-Based Wireless Scheduling Policy.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
1	Cristina Comaniciu, H. Vincent Poor	On the capacity of mobile ad hoc networks with delay constraints.	IEEE Transactions on Wireless Communications	2006	DBLP DOI BibTeX RDF
1	Nikolay V. Shilov, Natalya Olegovna Garanina	Well-Structured Model Checking of Multiagent Systems.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Koenraad Laevens, Marc Moeneclaey, Herwig Bruneel	Queueing analysis of a single-wavelength Fiber-Delay-Line buffer.	Telecommunication Systems	2006	DBLP DOI BibTeX RDF	Fiber delay lines, Loss heuristics, Maximum tolerable load, Generating functions, Queueing analysis, Optical buffers
1	Michel A. Reniers, Yaroslav S. Usenko	Analysis of Timed Processes with Data Using Algebraic Transformations.	TIME	2005	DBLP DOI BibTeX RDF
1	Amichai Sanderovich, Michael Peleg, Shlomo Shamai	LDPC coded MIMO multiple access with iterative joint decoding.	IEEE Transactions on Information Theory	2005	DBLP DOI BibTeX RDF
1	James S. Plank, Michael G. Thomason	A Practical Analysis of Low-Density Parity-Check Erasure Codes for Wide-Area Storage Applications.	DSN	2004	DBLP DOI BibTeX RDF
1	Leslie G. Valiant	Holographic Algorithms (Extended Abstract).	FOCS	2004	DBLP DOI BibTeX RDF
1	Matthew J. M. Peacock, Iain B. Collings, Michael L. Honig	Asymptotic analysis of LMMSE multiuser receivers for multi-signature multicarrier CDMA in Rayleigh fading.	IEEE Transactions on Communications	2004	DBLP DOI BibTeX RDF
1	Marc Boyer, Mihaela Sighireanu	Synthesis and Verification of Constraints in the PGM Protocol.	FME	2003	DBLP DOI BibTeX RDF	PGM protocol, real-time multicast protocol, finite and timed model-checking, parameterized verification, constraint synthesis
1	Felice Cardone, Mario Coppo	Decidability Properties of Recursive Types.	ICTCS	2003	DBLP DOI BibTeX RDF
1	Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre	An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.	LPAR	2003	DBLP DOI BibTeX RDF
1	Michael Mitzenmacher	The Power of Two Choices in Randomized Load Balancing.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	limiting systems, distributed systems, Load balancing, queuing theory, choices
1	Francesco Ranzato	On the Completeness of Model Checking.	ESOP	2001	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Temporal Abstract Interpretation.	POPL	2000	DBLP DOI BibTeX RDF
1	Pavol Duris, Tomasz Jurdzinski, Miroslaw Kutylowski, Krzysztof Lorys	Power of Cooperation and Multihead Finite Systems.	ICALP	1998	DBLP DOI BibTeX RDF
1	Hardi Hungar	Model Checking of macro Processes.	CAV	1994	DBLP DOI BibTeX RDF
1	Hardi Hungar	Local Model Checking for Parallel Compositions of Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Libo Lo	Functions and Functionals on Finite Systems.	J. Symb. Log.	1992	DBLP BibTeX RDF
1	Ahmed Bouajjani, Joseph Sifakis	Verification for Finite Systems (Extended Abstract).	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
1	Scott Shenker, Abel Weinrib	Asymptotic Analysis of Large Heterogeneous Queueing Systems.	SIGMETRICS	1988	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Jan Willem Klop	Process theory based on bisimulation semantics.	REX Workshop	1988	DBLP DOI BibTeX RDF
1	Armin Hemmerling	Normed Two-Plane Traps for Finite Systems of Cooperating Compass Automata.	Elektronische Informationsverarbeitung und Kybernetik	1987	DBLP BibTeX RDF
1	Karel Culik II	On Test Sets and the Ehrenfeucht Conjecture.	ICALP	1982	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Lambert G. L. T. Meertens	Completeness with Finite Systems of Intermediate Assertions for Recursive Program Schemes.	SIAM J. Comput.	1980	DBLP DOI BibTeX RDF