Search Results for Systems engineering. - Narrowed by: E-Book - Electronic Library - Computer system performance. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bengineering.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystem$002bperformance.$002509Computer$002bsystem$002bperformance.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-16T16:04:44Z Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399238 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Krogstie, John. editor.&#160;Reijers, Hajo 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-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30&ndash;October 5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197418 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;France, Robert B. editor.&#160;Kazmeier, J&uuml;rgen. editor.&#160;Breu, Ruth. editor.&#160;Atkinson, Colin. 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-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193244 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Giese, Holger. editor.&#160;Karsai, Gabor. editor.&#160;Lee, Edward. editor.&#160;Rumpe, Bernhard. editor.&#160;Sch&auml;tz, Bernhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensing and Systems in Pervasive Computing Engineering Context Aware Systems ent://SD_ILS/0/SD_ILS:168611 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Chalmers, Dan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-841-6">http://dx.doi.org/10.1007/978-0-85729-841-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Validation in Systems Engineering Assessing UML/SysML Design Models ent://SD_ILS/0/SD_ILS:192902 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Debbabi, Mourad. author.&#160;Hassa&iuml;ne, Fawzi. author.&#160;Jarraya, Yosr. author.&#160;Soeanu, Andrei. author.&#160;Alawneh, Luay. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15228-3">http://dx.doi.org/10.1007/978-3-642-15228-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182989 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Bravetti, Mario. editor.&#160;Kloul, Le&iuml;la. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LTE-Advanced Relay Technology and Standardization ent://SD_ILS/0/SD_ILS:333255 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Yuan, Yifei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333255.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29676-5">http://dx.doi.org/10.1007/978-3-642-29676-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic Computing Principles, Design and Implementation ent://SD_ILS/0/SD_ILS:331115 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Lalanda, Philippe. author.&#160;McCann, Julie A. author.&#160;Diaconescu, Ada. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331115.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:334079 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334079.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334328 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Preferred Shelf Number&#160;ONLINE(334328.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerating Test, Validation and Debug of High Speed Serial Interfaces ent://SD_ILS/0/SD_ILS:205484 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Fan, Yongquan. author.&#160;Zilic, Zeljko. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9398-1">http://dx.doi.org/10.1007/978-90-481-9398-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications ent://SD_ILS/0/SD_ILS:173752 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Buttazzo, Giorgio C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0676-1">http://dx.doi.org/10.1007/978-1-4614-0676-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Real-Time Systems Design Principles for Distributed Embedded Applications ent://SD_ILS/0/SD_ILS:173097 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Kopetz, Hermann. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-8237-7">http://dx.doi.org/10.1007/978-1-4419-8237-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Errors in Modern Electronic Systems ent://SD_ILS/0/SD_ILS:172744 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Nicolaidis, Michael. 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-4419-6993-4">http://dx.doi.org/10.1007/978-1-4419-6993-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Novel Algorithms for Fast Statistical Analysis of Scaled Circuits ent://SD_ILS/0/SD_ILS:204977 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Singhee, Amith. author.&#160;Rutenbar, Rob A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-3100-6">http://dx.doi.org/10.1007/978-90-481-3100-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL&rsquo;08 ent://SD_ILS/0/SD_ILS:170626 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Radetzki, Martin. 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-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</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 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189565 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Svensson, Lars. editor.&#160;Monteiro, Jos&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-540-95948-9">http://dx.doi.org/10.1007/978-3-540-95948-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Zuverl&auml;ssigkeit mechatronischer Systeme Grundlagen und Bewertung in fr&uuml;hen Entwicklungsphasen ent://SD_ILS/0/SD_ILS:188587 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Bertsche, Bernd. author.&#160;G&ouml;hner, Peter. author.&#160;Jensen, Uwe. author.&#160;Schink&ouml;the, Wolfgang. author.&#160;Wunderlich, Hans-Joachim. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85091-5">http://dx.doi.org/10.1007/978-3-540-85091-5</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 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187155 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Az&eacute;mard, Nadine. editor.&#160;Svensson, Lars. 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-74442-9">http://dx.doi.org/10.1007/978-3-540-74442-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Memory Optimization Techniques for Low-Power Embedded Processors ent://SD_ILS/0/SD_ILS:169629 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Verma, Manish. author.&#160;Marwedel, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5897-4">http://dx.doi.org/10.1007/978-1-4020-5897-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit Test Engineering Modern Techniques ent://SD_ILS/0/SD_ILS:175290 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Grout, Ian A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-173-3">http://dx.doi.org/10.1007/1-84628-173-3</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 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184718 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Vounckx, Johan. editor.&#160;Azemard, Nadine. editor.&#160;Maurine, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Verification of Programmable Embedded Architectures A Top-Down Approach ent://SD_ILS/0/SD_ILS:165277 2024-07-16T16:04:44Z 2024-07-16T16:04:44Z Author&#160;Mishra, Prabhat. author.&#160;Dutt, Nikil D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>