Author of the publication

Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems.

, , , , and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 618-631. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Application of analytic hierarchy process in the selection of transit route for large-scale cargo transportation., and . FSKD, page 598-602. IEEE, (2011)Start-up analysis for differential ring oscillator with even number of stages., , , , and . APCCAS, page 636-639. IEEE, (2010)Detecting Stack Layout Corruptions with Robust Stack Unwinding., , , , , and . RAID, volume 9854 of Lecture Notes in Computer Science, page 71-94. Springer, (2016)A 3-D flowering simulation based on botany characteristics and random generation algorithm., , , , and . SIGGRAPH Posters, page 1:1. ACM, (2010)Performance modeling of resonant tunneling based RAMs., , , and . ISCAS (4), page 900-903. IEEE, (2003)Digital beijing construction and application based on the urban three-dimensional modelling and remote sensing monitoring technology., , , and . IGARSS, page 7299-7302. IEEE, (2016)A Bayesian framework for modelling the regional variation of white matter microstructure., , , and . MIUA, page 93-98. BMVA, (2011)The design of integrated CASE Platform., , and . FSKD, page 2322-2325. IEEE, (2012)Detect Related Bugs from Source Code Using Bug Information, , , and . CoRR, (2011)Localized content based image retrieval., , , , and . Multimedia Information Retrieval, page 227-236. ACM, (2005)