Search results for "mutual exclusion constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Michael L. Dertouzos, Aloysius K. Mok	Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	hard-real-time task scheduling, scheduling game representation, a priori knowledge, mutual exclusion constraints, scheduling, real-time systems, multiprocessing systems, multiprogramming, optimal scheduling, multiprocessor environment
1	ShouGuang Wang, ChengYing Wang, MengChu Zhou	A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions.	ICRA	2011	DBLP DOI BibTeX RDF
1	ZhiWu Li, Mingming Yan, MengChu Zhou	Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2010	DBLP DOI BibTeX RDF
1	Jiliang Luo, Weimin Wu, Hongye Su, Jian Chu	Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Björn Andersson	Scheduling Sporadic Tasks on Multiprocessors with Mutual Exclusion Constraints.	ICPP Workshops	2009	DBLP DOI BibTeX RDF
1	Alessandro Giua, Carla Seatzu	Modeling and Supervisory Control of Railway Networks Using Petri Nets.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Luigi Piroddi, Roberto Cordone, Ivano Fumagalli	Selective Siphon Control for Deadlock Prevention in Petri Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	Hiroshi Wada, Junichi Suzuki, Katsuya Oba	A Feature Modeling Support for Non-Functional Constraints in Service Oriented Architecture.	IEEE SCC	2007	DBLP DOI BibTeX RDF
1	Umut Balli, Haisang Wu, Binoy Ravindran, Jonathan Stephen Anderson, E. Douglas Jensen	Utility Accrual Real-Time Scheduling under Variable Cost Functions.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Variable-cost functions, overload scheduling, resource management, real-time scheduling, mutual exclusion, dynamic scheduling, time/utility functions, utility accrual scheduling
1	Zied Achour, Nidhal Rezg	Time floating general mutual exclusion constraints in partial observable discrete event systems.	IRI	2006	DBLP BibTeX RDF
1	Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li	Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	Real-time systems, energy-efficient scheduling, time/utility functions, utility accrual scheduling
1	Spyros A. Reveliotis, Jin-Young Choi	Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Francesco Basile, Alessandro Giua, Carla Seatzu	Decentralized supervisory control of Petri nets with monitor places.	ETFA	2005	DBLP DOI BibTeX RDF
1	Peng Liu, Jian-bin Hu, Zhong Chen	A Formal Language for Access Control Policies in Distributed Environment.	Web Intelligence	2005	DBLP DOI BibTeX RDF
1	Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li	Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time systems, energy-efficient scheduling, time/utility functions, utility accrual scheduling
1	Wang Shouguang, Yan Gangfeng	Synthesis of Petri net controller based local incidence matrix.	SMC	2004	DBLP DOI BibTeX RDF
1	Wang Shouguang, Zhang Senlin, Yan Gangfeng	Synthesis of Petri net controller to enforce conjunction of GMEC using observer.	SMC	2004	DBLP DOI BibTeX RDF
1	Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila	Partitioning of Hierarchical Automation Systems.	ECRTS	2001	DBLP DOI BibTeX RDF
1	Jeremy Frank, Ari K. Jónsson, Paul H. Morris	On Reformulating Planning as Dynamic Constraint Satisfaction.	SARA	2000	DBLP DOI BibTeX RDF
1	Daniel Barbará, Hector Garcia-Molina, Annemarie Spauster	Increasing Availability Under Mutual Exclusion Constraints with Dynamic Vote Reassignment.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF