Search Results for Scheduling. - Narrowed by: Compilers (Computer programs). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScheduling.$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-18T21:28:35Z Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611600 2026-03-18T21:28:35Z 2026-03-18T21:28:35Z Author&#160;Petrucci, Laure. editor. (orcid)0000-0003-3154-5268&#160;Seceleanu, Cristina. editor.&#160;Cavalcanti, Ana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613058 2026-03-18T21:28:35Z 2026-03-18T21:28:35Z Author&#160;Esposito, Floriana. editor.&#160;Basili, Roberto. editor. (orcid)0000-0001-5140-0694&#160;Ferilli, Stefano. editor.&#160;Lisi, Francesca A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613501 2026-03-18T21:28:35Z 2026-03-18T21:28:35Z Author&#160;Rivera, Francisco F. editor.&#160;Pena, Tom&aacute;s F. editor.&#160;Cabaleiro, Jos&eacute; C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Instruction Level Parallelism ent://SD_ILS/0/SD_ILS:611976 2026-03-18T21:28:35Z 2026-03-18T21:28:35Z Author&#160;Aiken, Alex. author.&#160;Banerjee, Utpal. author.&#160;Kejariwal, Arun. author.&#160;Nicolau, Alexandru. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4899-7797-7">https://doi.org/10.1007/978-1-4899-7797-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617139 2026-03-18T21:28:35Z 2026-03-18T21:28:35Z Author&#160;Dutot, Pierre-Fran&ccedil;ois. editor.&#160;Trystram, Denis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>