Problem Determination Using Dependency Graphs and Run-Time Behavior Models, Utility Computing: Proceedings of the 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, pp.171-182, 2004. ,
DOI : 10.1109/DSN.2002.1029005
Satisfiability modulo theories: An efficient approach for the resource-constrained project scheduling problem, Symposium on Abstraction, Reformulation, and Approximation, 2011. ,
Dynamic causality in event structures, International Conference on Formal Techniques for Distributed Objects , Components, and Systems, pp.83-97, 2015. ,
DOI : 10.1007/978-3-319-19195-9_6
GURRR, ACM SIGPLAN Notices, vol.30, issue.3, pp.23-34, 1995. ,
DOI : 10.1145/202530.202533
Coordination of software components with BIP: application to OSGi, Proceedings of the 6th International Workshop on Modeling in Software Engineering, MiSE 2014, pp.25-30, 2014. ,
DOI : 10.1145/2593770.2593777
Exogenous coordination of concurrent software components with JavaBIP. Software: Practice and Experience, 2017. Early view ,
Modelling resource dependencies Available online: https, 2016. ,
The virtual grid description language: vgDL, 2004. ,
The Resource Allocation Problem in Flexible Manufacturing Systems, Applications and Theory of Petri Nets 2003: 24th International Conference, pp.23-35, 2003. ,
DOI : 10.1007/3-540-44919-1_3
QoS-aware dependency management for componentbased systems, High Performance Distributed Computing Proceedings. 10th IEEE International Symposium on, pp.127-138, 2001. ,
A resource management architecture for metacomputing systems, Job Scheduling Strategies for Parallel Processing: IPPS/SPDP'98 Workshop, pp.62-82, 1998. ,
DOI : 10.1007/BFb0053981
Time-critical computing on a single-chip massively parallel processor, Proceedings of the Conference on Design, pp.971-97 ,
URL : https://hal.archives-ouvertes.fr/hal-01090449
European Design and Automation Association, 2014. ,
An approach for managing service dependencies with XML and the resource description framework, Journal of Network and Systems Management, vol.10, issue.2, pp.147-170, 2002. ,
DOI : 10.1023/A:1015902715532
A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Transactions on Robotics and Automation, vol.11, issue.2, pp.173-184, 19951995. ,
DOI : 10.1109/70.370500
Mixedcriticality scheduling on cluster-based manycores with shared communication and storage resources. Real-Time Systems, pp.1-51, 2015. ,
DOI : 10.1007/s11241-015-9227-y
Efficient resource description and high quality selection for virtual grids, CCGRID, pp.598-606, 2005. ,
Hierarchical conditional dependency graphs for conditional resource sharing, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204), pp.313-316, 1998. ,
DOI : 10.1109/EURMIC.1998.711816
URL : ftp://ftp.irisa.fr/local/signal/publis/articles/Euromicro-98:optim_archi.ps.gz
A taxonomy and survey of grid resource management systems for distributed computing. Software: Practice and Experience, pp.135-164, 2002. ,
Resource description frame-work (RDF) model and syntax specification, World Wide Web Consortium (W3C), 1999. ,
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering, Transactions on Petri Nets and Other Models of Concurrency V, pp.181-200, 2012. ,
DOI : 10.1007/978-3-642-29072-5_8
Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, pp.95-132, 1974. ,
DOI : 10.1016/0020-0255(74)90008-5
Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981. ,
DOI : 10.1016/0304-3975(81)90112-2
URL : https://doi.org/10.1016/0304-3975(81)90112-2
Matchmaking: An extensible framework for distributed resource management, Cluster Computing, vol.2, issue.2, pp.129-138, 1999. ,
DOI : 10.1023/A:1019022624119
URL : http://myrtle.cs.umanitoba.ca/~maheswar/anc/PAPERS/RaL98.ps
An architecture for workflow scheduling under resource allocation constraints, Information Systems, vol.30, issue.5, pp.399-422, 2005. ,
DOI : 10.1016/j.is.2004.03.003
Many-Core Scheduling of Data Parallel Applications Using SMT Solvers, 2014 17th Euromicro Conference on Digital System Design, pp.615-622, 2014. ,
DOI : 10.1109/DSD.2014.10
URL : http://www-verimag.imag.fr/%7Emaler/Papers/dsd-schedule.pdf
A runtime environment for real-time streaming applications on clustered multi-cores, 2015. ,
A Petri net structurebased deadlock prevention solution for sequential resource allocation systems, Robotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on, pp.271-277, 2005. ,
DOI : 10.1109/robot.2005.1570131
SLA-Aware Virtual Resource Management for Cloud Infrastructures, 2009 Ninth IEEE International Conference on Computer and Information Technology, pp.357-362, 2009. ,
DOI : 10.1109/CIT.2009.109
URL : https://hal.archives-ouvertes.fr/hal-00474722
Event Structures for Resolvable Conflict, 29th International Symposium on Mathematical Foundations of Computer Science, pp.550-561, 2004. ,
DOI : 10.1007/978-3-540-28629-5_42
Using RDF to describe networks, Future Generation Computer Systems, vol.22, issue.8, pp.862-867, 2006. ,
DOI : 10.1016/j.future.2006.03.022