Results for CHIP (programming language)

Results for CHIP (programming language) Showing 1 - 50 results of 100 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=CHIP+%28programming+language%29&type=AllFields&lng=en 100 0 50 Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings / Fri, 01 Jan 1999 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-48753-1 https://find.library.upatras.gr/Record/978-3-540-48753-1 Electronic eBook 1999 0 Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / Tue, 01 Jan 2002 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-36103-9 https://find.library.upatras.gr/Record/978-3-540-36103-9 Electronic eBook 2002 0 Analysis and Visualization Tools for Constraint Programming Constraint Debugging / Sat, 01 Jan 2000 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-40016-5 https://find.library.upatras.gr/Record/978-3-540-40016-5 Electronic eBook 2000 0 SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / Wed, 01 Jan 2003 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45075-7 https://find.library.upatras.gr/Record/978-3-540-45075-7 Electronic eBook 2003 0 Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. / Wed, 01 Jan 1997 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69557-8 https://find.library.upatras.gr/Record/978-3-540-69557-8 Electronic eBook 1997 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Electronic eBook 2004 0 Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings / Fri, 01 Jan 1999 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-48257-4 https://find.library.upatras.gr/Record/978-3-540-48257-4 Electronic eBook 1999 0 Building Embedded Systems Programmable Hardware / Fri, 01 Jan 2016 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-4842-1919-5 https://find.library.upatras.gr/Record/978-1-4842-1919-5 Gu, Changyi Electronic eBook 2016 Gu, Changyi 0 Euro-Par'97 Parallel Processing Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings / Wed, 01 Jan 1997 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69549-3 https://find.library.upatras.gr/Record/978-3-540-69549-3 Electronic eBook 1997 0 Compiler Construction 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Sat, 01 Jan 2000 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-46423-5 https://find.library.upatras.gr/Record/978-3-540-46423-5 Electronic eBook 2000 0 Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / Wed, 01 Jan 2003 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45212-6 https://find.library.upatras.gr/Record/978-3-540-45212-6 Electronic eBook 2003 0 Recent Advances in Parallel Virtual Machine and Message Passing Interface 11th European PVM/MPI Users' Group Meeting, Budapest, Hungary, September 19-22, 2004, Proceedings / Thu, 01 Jan 2004 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-30218-6 https://find.library.upatras.gr/Record/978-3-540-30218-6 Electronic eBook 2004 0 Parallel and Distributed Processing 15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings / Sat, 01 Jan 2000 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45591-2 https://find.library.upatras.gr/Record/978-3-540-45591-2 Electronic eBook 2000 0 Languages and Compilers for Parallel Computing 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers / Wed, 01 Jan 2003 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-35767-4 https://find.library.upatras.gr/Record/978-3-540-35767-4 Electronic eBook 2003 0 Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings / Fri, 01 Jan 1999 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-48153-9 https://find.library.upatras.gr/Record/978-3-540-48153-9 Electronic eBook 1999 0 Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / Mon, 01 Jan 2001 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44798-6 https://find.library.upatras.gr/Record/978-3-540-44798-6 Electronic eBook 2001 0 Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / Fri, 01 Jan 1999 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-49253-5 https://find.library.upatras.gr/Record/978-3-540-49253-5 Electronic eBook 1999 0 Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedings / Fri, 01 Jan 2016 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-319-31559-1 https://find.library.upatras.gr/Record/978-3-319-31559-1 Electronic eBook 2016 0 Διερεύνηση επιδόσεων αρχιτεκτονικών υλικού-λογισμικού για εφαρμογές ψηφιακής επεξεργασίας σε FPGA Sun, 01 Jan 2012 19:43:48 +0200 https://find.library.upatras.gr/Record/nemertes-10889-5394 https://find.library.upatras.gr/Record/nemertes-10889-5394 Ρώσση, Μαρία-Ευγενία Thesis 2012 Ρώσση, Μαρία-Ευγενία 0 Αξιοποιώντας το Real-Time Linux σε ενσωματωμένα συστήματα Sat, 01 Jan 2011 19:43:48 +0200 https://find.library.upatras.gr/Record/nemertes-10889-4194 https://find.library.upatras.gr/Record/nemertes-10889-4194 Χρυσοχού, Αγγελική Thesis 2011 Χρυσοχού, Αγγελική 0 Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Thu, 01 Jan 2015 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-662-46681-0 https://find.library.upatras.gr/Record/978-3-662-46681-0 Electronic eBook 2015 0 Higher-Level Hardware Synthesis Thu, 01 Jan 2004 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-24657-2 https://find.library.upatras.gr/Record/978-3-540-24657-2 Sharp, Richard Electronic eBook 2004 Sharp, Richard 0 The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface / Tue, 01 Jan 2002 19:43:48 +0200 https://find.library.upatras.gr/Record/978-0-306-47665-5 https://find.library.upatras.gr/Record/978-0-306-47665-5 Sutherland, Stuart Electronic eBook 2002 Sutherland, Stuart 0 System Specification & Design Languages Best of FDL’02 / Wed, 01 Jan 2003 19:43:48 +0200 https://find.library.upatras.gr/Record/978-0-306-48734-7 https://find.library.upatras.gr/Record/978-0-306-48734-7 Electronic eBook 2003 0 SystemC Methodologies and Applications / Wed, 01 Jan 2003 19:43:48 +0200 https://find.library.upatras.gr/Record/978-0-306-48735-4 https://find.library.upatras.gr/Record/978-0-306-48735-4 Electronic eBook 2003 0 Fundamentals of Computer Organization and Design Wed, 01 Jan 2003 19:43:48 +0200 https://find.library.upatras.gr/Record/978-0-387-21566-2 https://find.library.upatras.gr/Record/978-0-387-21566-2 Dandamudi, Sivarama P. Electronic eBook 2003 Dandamudi, Sivarama P. 0 Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / Thu, 01 Jan 2004 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-28629-5 https://find.library.upatras.gr/Record/978-3-540-28629-5 Electronic eBook 2004 0 Ready A Commodore 64 Retrospective / Thu, 01 Jan 2015 19:43:48 +0200 https://find.library.upatras.gr/Record/978-981-287-341-5 https://find.library.upatras.gr/Record/978-981-287-341-5 Dillon, Roberto Electronic eBook 2015 Dillon, Roberto 0 978-3-031-10419-0.pdf Sat, 01 Jan 2022 19:43:48 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57385 https://find.library.upatras.gr/Record/oapen-20.500.12657-57385 2022 0 Open Verification Methodology Cookbook Thu, 01 Jan 2009 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-4419-0968-8 https://find.library.upatras.gr/Record/978-1-4419-0968-8 Glasser, Mark Electronic eBook 2009 Glasser, Mark 0 C Compilers for ASIPs Automatic Compiler Generation with LISA / Fri, 01 Jan 2010 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-4419-1176-6 https://find.library.upatras.gr/Record/978-1-4419-1176-6 Hohenauer, Manuel Electronic eBook 2010 Hohenauer, Manuel 0 Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 / Mon, 01 Jan 2007 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-4020-6149-3 https://find.library.upatras.gr/Record/978-1-4020-6149-3 Electronic eBook 2007 0 Ingredients for Successful System Level Design Methodology Tue, 01 Jan 2008 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-4020-8472-0 https://find.library.upatras.gr/Record/978-1-4020-8472-0 Patel, Hiren D. Electronic eBook 2008 Patel, Hiren D. 0 The Essential PIC18® Microcontroller Fri, 01 Jan 2010 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-84996-229-2 https://find.library.upatras.gr/Record/978-1-84996-229-2 Katzen, Sid Electronic eBook 2010 Katzen, Sid 0 Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap / Wed, 01 Jan 2014 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-319-00675-8 https://find.library.upatras.gr/Record/978-3-319-00675-8 Castrillón Mazo, Jerónimo Electronic eBook 2014 Castrillón Mazo, Jerónimo 0 Integrated Circuit Test Engineering Modern Techniques / Sun, 01 Jan 2006 19:43:48 +0200 https://find.library.upatras.gr/Record/978-1-84628-173-0 https://find.library.upatras.gr/Record/978-1-84628-173-0 Grout, Ian A. Electronic eBook 2006 Grout, Ian A. 0 Separation Logic for High-level Synthesis Sun, 01 Jan 2017 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-319-53222-6 https://find.library.upatras.gr/Record/978-3-319-53222-6 Winterstein, Felix Electronic eBook 2017 Winterstein, Felix 0 Transactions on High-Performance Embedded Architectures and Compilers V Tue, 01 Jan 2019 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-662-58834-5 https://find.library.upatras.gr/Record/978-3-662-58834-5 Electronic eBook 2019 0 Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings / Tue, 01 Jan 2019 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-030-27008-7 https://find.library.upatras.gr/Record/978-3-030-27008-7 Electronic eBook 2019 0 A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / Tue, 01 Jan 2008 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69303-1 https://find.library.upatras.gr/Record/978-3-540-69303-1 Electronic eBook 2008 0 Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings / Tue, 01 Jan 2008 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-70550-5 https://find.library.upatras.gr/Record/978-3-540-70550-5 Electronic eBook 2008 0 Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers / Mon, 01 Jan 2007 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-72521-3 https://find.library.upatras.gr/Record/978-3-540-72521-3 Electronic eBook 2007 0 Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / Tue, 01 Jan 2013 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-642-41010-9 https://find.library.upatras.gr/Record/978-3-642-41010-9 Electronic eBook 2013 0 Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / Tue, 01 Jan 2013 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-642-40787-1 https://find.library.upatras.gr/Record/978-3-642-40787-1 Electronic eBook 2013 0 Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / Sat, 01 Jan 2005 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-32250-4 https://find.library.upatras.gr/Record/978-3-540-32250-4 Electronic eBook 2005 0 High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings / Sat, 01 Jan 2005 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-32272-6 https://find.library.upatras.gr/Record/978-3-540-32272-6 Electronic eBook 2005 0 Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / Sun, 01 Jan 2006 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-40058-5 https://find.library.upatras.gr/Record/978-3-540-40058-5 Electronic eBook 2006 0 Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / Sun, 01 Jan 2006 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45773-2 https://find.library.upatras.gr/Record/978-3-540-45773-2 Electronic eBook 2006 0 Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / Tue, 01 Jan 2013 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-642-36157-9 https://find.library.upatras.gr/Record/978-3-642-36157-9 Electronic eBook 2013 0 FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / Tue, 01 Jan 2008 19:43:48 +0200 https://find.library.upatras.gr/Record/978-3-540-68237-0 https://find.library.upatras.gr/Record/978-3-540-68237-0 Electronic eBook 2008 0