Search Results for simulation. - Narrowed by: Computer hardware. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsimulation.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bhardware.$002509Computer$002bhardware.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2024-11-27T21:47:35Z Scalable Hardware Verification with Symbolic Simulation ent://SD_ILS/0/SD_ILS:165683 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Bertacco, Valeria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29906-8">http://dx.doi.org/10.1007/0-387-29906-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482905 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Pnevmatikatos, Dionisios N. editor.&#160;Pelcat, Maxime. editor.&#160;Jung, Matthias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-27562-4">https://doi.org/10.1007/978-3-030-27562-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Image Processing, and Ultrasound Systems for Assisted Diagnosis and Navigation International Workshops, POCUS 2018, BIVPCS 2018, CuRIOUS 2018, and CPM 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400539 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Aylward, Stephen. editor. (orcid)0000-0002-7862-8856&#160;Tavares, Jo&atilde;o Manuel R.S. editor. (orcid)0000-0001-7603-6526&#160;Xiao, Yiming. editor. (orcid)0000-0002-0962-3525<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01045-4">https://doi.org/10.1007/978-3-030-01045-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191802 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Monteiro, Jos&eacute;. editor.&#160;Leuken, Ren&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190531 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Bertels, Koen. editor.&#160;Dimopoulos, Nikitas. editor.&#160;Silvano, Cristina. editor.&#160;Wong, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03138-0">http://dx.doi.org/10.1007/978-3-642-03138-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185983 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Berekovi&#263;, Mladen. editor.&#160;Dimopoulos, Nikitas. editor.&#160;Wong, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70550-5">http://dx.doi.org/10.1007/978-3-540-70550-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186917 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Vassiliadis, Stamatis. editor.&#160;Berekovi&#263;, Mladen. editor.&#160;H&auml;m&auml;l&auml;inen, Timo D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73625-7">http://dx.doi.org/10.1007/978-3-540-73625-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184380 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Vassiliadis, Stamatis. editor.&#160;Wong, Stephan. editor.&#160;H&auml;m&auml;l&auml;inen, Timo D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11796435">http://dx.doi.org/10.1007/11796435</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling &amp; Simulation ent://SD_ILS/0/SD_ILS:170048 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Patel, Hiren D. author.&#160;Shukla, Sandeep K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117249">http://dx.doi.org/10.1007/b117249</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182812 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;H&auml;m&auml;l&auml;inen, Timo D. editor.&#160;Pimentel, Andy D. editor.&#160;Takala, Jarmo. editor.&#160;Vassiliadis, Stamatis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138322">http://dx.doi.org/10.1007/b138322</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives ent://SD_ILS/0/SD_ILS:489092 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Anderson, Neal G. editor.&#160;Bhanja, Sanjukta. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Life Models in Hardware ent://SD_ILS/0/SD_ILS:175997 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Adamatzky, Andrew. editor.&#160;Komosinski, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Platform Based Design at the Electronic System Level Industry Perspectives and Experiences ent://SD_ILS/0/SD_ILS:169385 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Burton, Mark. author.&#160;Morawiec, Adam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22&ndash;27, 2004, Toulouse, France ent://SD_ILS/0/SD_ILS:165066 2024-11-27T21:47:35Z 2024-11-27T21:47:35Z Author&#160;Dissaux, Pierre. editor.&#160;Filali-Amine, Mamoun. editor.&#160;Michel, Pierre. editor.&#160;Vernadat, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>