DOCSLIB.ORG

Computers.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Computers.Pdf NEW ASPECTS OF COMPUTERS Proceedings of the 12th WSEAS International Conference on COMPUTERS Heraklion, Greece, July 23-25, 2008 Recent Advances in Computer Engineering A Series of Reference Books and Textbooks Published by WSEAS Press ISSN: 1790-5109 www.wseas.org ISBN: 978-960-6766-85-5 NEW ASPECTS OF COMPUTERS Proceedings of the 12th WSEAS International Conference on COMPUTERS Heraklion, Greece, July 23-25, 2008 Recent Advances in Computer Engineering A Series of Reference Books and Textbooks Published by WSEAS Press www.wseas.org Copyright © 2008, by WSEAS Press All the copyright of the present book belongs to the World Scientific and Engineering Academy and Society Press. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the Editor of World Scientific and Engineering Academy and Society Press. All papers of the present volume were peer reviewed by two independent reviewers. Acceptance was granted when both reviewers' recommendations were positive. See also: http://www.worldses.org/review/index.html ISSN: 1790-5109 ISBN: 978-960-6766-85-5 World Scientific and Engineering Academy and Society NEW ASPECTS OF COMPUTERS Proceedings of the 12th WSEAS International Conference on COMPUTERS Heraklion, Greece, July 23-25, 2008 Editors: Prof. Nikos E. Mastorakis, MIUE (ASEI), Hellenic Naval Academy, Greece Prof. Valeri Mladenov, Technical University of Sofia, Bulgaria Prof. Zoran Bojkovic, Technical University of Belgrade, Serbia Prof. Dana Simian, University Lucian Blaga of Sibiu, Romania Prof. Stamatios Kartalopoulos, University of Oklahoma, USA Prof. Argyrios Varonides, University of Scranton, USA Prof. Constantin Udriste, University Politehnica of Bucharest, Romania Prof. Eugene Kindler, University of Ostrava, Czech Republic Prof. S. Narayanan, Wright State University, U.S.A. Prof. Jaime Lloret Mauri, Polytechnic University of Valencia, Spain Prof. Hamed Parsiani, University of Puerto Rico, Puerto Rico Dr. Ka Lok Man, Politecnico di Torino, Italy International Program Committee Members: Irwin W. Sandberg, USA Benjamin Friedlander, USA Asad A. Abidi, USA Bernard C. Levy, USA Andreas Antoniou, USA Bhaskar D. Rao, USA Antonio Cantoni, AUSTRALIA Bin Yu, USA Lotfi Zadeh, USA Boualem Boashash, AUSTRALIA George Szentirmai, USA Brian D. O. Anderson, AUSTRALIA Michael Peter Kennedy, IRELAND Bruce A. Francis, CANADA Paresh C. Sen, CANADA C. Richard Johnson, USA Michel Gevers, BELGIUM C. Sidney Burrus, USA James S. Thorp, USA Charles M. Rader, USA Armen H. Zemanian, USA Desmond P. Taylor, NEW ZEALAND Guanrong Chen, HONG KONG Donald L. Duttweiler, USA Edgar Sanchez-Sinencio, USA Donald W. Tufts, USA Jim C. Bezdek, USA Douglas L. Jones, USA A. J. van der Schaft, the NETHERLANDS Earl E. Swartzlander, USA Istvan Nagy, Hungary Ed F. Deprettere, the NETHERLANDS Wasfy B. Mikhael, USA Edward A. Lee, USA M. N. S. Swamy, CANADA Edward J. Powers, USA M. Araki, JAPAN Ehud Weinstein, ISRAEL Abbas El Gamal, USA Eli Brookner, USA Franco Maloberti, Italy Ezio Biglieri, Italy Alan N. Willson Jr., USA Faye Boudreaux-Bartels, USA Yoji Kajitani, JAPAN Georgios B. Giannakis, USA Mohammed Ismail, USA Gonzalo R. Arce, USA Kemin Zhou, USA H. Vincent Poor, USA Ruey-Wen Liu, USA Hagit Messer, ISRAEL Nabil H. Farhat, USA John V. McCanny, UK John I. Sewell, UK Joos Vandewalle, BELGIUM Jerry M. Mendel, USA Jose C. Principe, USA Magdy A. Bayoumi, USA Jose M. F. Moura, USA Bertram E. Shi, HONG KONG K. J. Ray Liu, USA M. Omair Ahmad, CANADA Kaushik Roy, USA N. K. Bose, USA Kenneth Rose, USA Igor Lemberski, LATVIA Keshab K. Parhi, USA Alfred Fettweis, GERMANY Kon Max Wong, CANADA Brockway McMillan, USA Kung Yao, USA H. J. Orchard, USA Louis L. Scharf, USA Jacob Katzenelson, ISRAEL Martin Vetterli, USA Vincent Poor, USA Mati Wax, USA Abraham Kandel, USA Meir Feder, ISRAEL Bor-Sen Chen, CHINA Michael C. Wicks, USA C. S. George Lee, USA Michael D. Zoltowski, USA Hamid R. Berenji, USA Michael T. Orchard, USA Kevin M. Passino, USA Michael Unser, SWITZERLAND Lawrence O. Hall, USA Miguel Angel Lagunas, SPAIN Ronald R. Yager, USA Moeness G. Amin, USA Witold Pedrycz, CANADA Mohamed Najim, FRANCE Agoryaswami J. Paulraj, USA Neil J. Bershad, USA Ahmed H. Tewfik, USA P. P. Vaidyanathan, USA Alan V. Oppenheim, USA Patrick Dewilde, NETHERLANDS Alfonso Farina, ITALY Peter Willett, USA Alfred O. Hero, USA Petre Stoica, SWEDEN Ali H. Sayed, USA Phillip A. Regalia, FRANCE Anders Lindquist, SWEDEN Pierre Duhamel, FRANCE Arthur B. Baggeroer, USA Pierre Moulin, USA Arye Nehorai, USA Pramod K. Varshney, USA Rabab Kreidieh Ward, CANADA Giorgio Picci, ITALY Robert M. Gray, USA Graham C. Goodwin, AUSTRALIA Rolf Unbehauen, GERMANY Han-Fu Chen, CHINA Ronald W. Schafer, USA Harold J. Kushner, USA Rui J. P. Figueiredo, USA Hidenori Kimura, JAPAN Russell M. Mersereau, USA Ian Postlethwaite, UK Sadaoki Furui, JAPAN Ian R. Petersen, AUSTRALIA Shun-Ichi Amari, JAPAN Jan C. Willems, NETHERLANDS Simon Haykin, CANADA Jim S. Freudenberg, USA Soo-Chang Pei, CHINA Karl Johan Astrom, SWEDEN Soura Dasgupta, USA Lennart Ljung, SWEDEN Stefan L. Hahn, POLAND M. Vidyasagar, INDIA Steven Kay, USA Mark W. Spong, USA Takao Hinamoto, JAPAN Matthew R. James, AUSTRALIA Takashi Matsumoto, JAPAN Munther A. Dahleh, USA Tapio Saramaki, FINLAND P .R. Kumar, USA Tariq S. Durrani, U.K. Peter E. Caines, CANADA Thomas F. Quatieri, USA Pramod P. Khargonekar, USA Thomas L. Marzetta, USA Richard T. Middleton, AUSTRALIA Thomas S. Huang, USA Roberto Tempo, Italy Thomas W. Parks, USA Roger W. Brockett, USA Uri Shaked, ISRAEL Romeo Ortega, FRANCE V. John Mathews, USA Shankar Sastry, USA Vladimir Cuperman, USA Stephane Lafortune, USA William A. Pearlman, USA Steven I. Marcus, USA Wolfgang Fichtner, SWITZERLAND T. E. Duncan, USA Wu-Sheng Lu, CANADA Tamer Basar, USA Yaakov Bar-Salom, USA W. M. Wonham, CANADA Yingbo Hua, USA Weibo Gong, USA Yong Ching Lim, SINGAPORE Xi-Ren Cao, Hong Kong Yoram Bresler, USA Yu-Chi Ho, United Kingdom Zhi Ding, USA George Antoniou, USA A. A. Goldenberg, CANADA C. Manikopoulos, USA Angel Rodriguez-Vasquez, SPAIN Ashraf Abdelbar, EGYPT Erol Gelenbe, USA Alain Abran, CANADA F. L. Lewis, USA Akshai Aggarwal, CANADA Harry Wechsler, USA Nestor thome, SPAIN, Howard C. Card, CANADA Jose Aguilar, VENEZUELA Lei Xu, P. R. CHINA Maria Isabella Garcia-Planas, SPAIN Leon O. Chua, USA Philippe Dondon, FRANCE Marco Gori, ITALY Constantinos Angelis, GREECE Narasimhan Sundararajan, SINGAPORE Zahra Ahmadi Brooghani, IRAN Sankar K. Pal, India Kostas Arvanitis, GREECE Tamas Roska, USA Ahmed Al Kindi, OMAN A. Stephen Morse, USA Mansoor Al-A'ali, BAHRAIN Alberto Isidori, USA Munir Al-Absisi, SAUDI ARABIA Ali Saberi, USA Malik Alamaireh, JORDAN Andrew R. Teel, USA Muhammad Al-Gahtani, SAUDI ARABIA Antonio Vicino, ITALY Nima Amanifard, IRAN Anuradha M. Annaswamy, USA Antonios Andreatos, GREECE Benjamin Melamed, USA Maja Atanasijevic-Kunc, SLOVENIA Bruce H. Krogh, USA Carlos Aviles-Cruz, MEXICO David D. Yao, USA Jamil Ayoub, JORDAN Donald Towsley, USA Jose Azana, CANADA Eduardo D. Sontag, USA Ina Taralova, FRANCE Edward J. Davison, CANADA Leila Baccouche, TUNISIA G. George Yin, USA Ahmad Bagheri, IRAN Harold S. Stone, USA Carlo dell'Aquila, ITALY Harry L. Van Trees, USA Metin Demiralp, TURKEY Henrique S. Malvar, USA Lawrence Deng, TAIWAN Hsueh-Ming Hang, CHINA Paolo Di Giamberardino, ITALY Jaakko Astola, Finland Vincenzo Di Lecce, ITALY James R. Zeidler, USA Anne-Marie Di Sciullo, CANADA Jan P. Allebach, USA Zeljko Djurovic, SERBIA Jitendra K. Tugnait, USA Valentin Dogaru Ulieru, ROMANIA John M. Cioffi, USA Tomas Dostal, CZECH REPUBLIC John R. Treichler, USA Maitreyee Dutta, INDIA Olga Martin, ROMANIA Anastasios Economides, GREECE Zvone Balantic, SLOVENIA Karl Edelmoser, AUSTRIA Tudor Barbu, ROMANIA Erki Eessaar, ESTONIA Cássia Baruque, BRAZIL Karim El Guemhioui, CANADA Lúcia Baruque, BRAZIL Hamed Elsimary, EGYPT Shariq Bashir, PAKISTAN Ehsan Esfandiary, IRAN Daniel Batas, GERMANY Mehrez Essafi, TUNISIA Radu Ciprian Bilcu, FINLAND Tchier Fairouz, SAUDI ARABIA Stefan Bruda, CANADA Qi Feng, CHINA Miodrag Bulatovic, YUGOSLAVIA Hans Fernlund, UNITED STATES Martin Burke, IRELAND Marta Fernandez, SPAIN Stefano Cacciaguerra, ITALY Andreas Floros, GREECE Miriam Capretz, CANADA Franco Frattolillo, ITALY Leonarda Carnimeo, ITALY Juan Frausto-Solis, MEXICO Ram Chakka, INDIA Richard Gallery, IRELAND Nitin Chanderwal, INDIA Gao Gang-yi, CHINA Ching lung Chang, TAIWAN Georgia Garani, GREECE Fengming Chang, TAIWAN Gloria García, SPAIN Huay Chang, TAIWAN Christos Georgiadis, GREECE Yun Seok Chang, KOREA Ahmad Ghanbari, IRAN Athanasios Chassiakos, GREECE Baluta Gheorghe, ROMANIA John Chatzakis, GREECE Ryszard Golanski, POLAND Alexander Chatzigeorgiou, GREECE Alexander Grebennikov, MEXICO Yung-Fu Chen, TAIWAN Andrea Guerriero, ITALY Yangjun Chen, CANADA Oscar Gustafsson, SWEDEN Toly Chen, TAIWAN Ofer Hadar, ISRAEL Ching-Han Chen, TAIWAN James Haralambides, UNITED STATES R.C. Chen, TAIWAN Suhono Harso Supangkat, INDONESIA Chi-bin Cheng, TAIWAN Hafiz Md. Hasan Babu, BANGLADESH Chaochang Chiu, TAIWAN Iraj Hassanzadeh, IRAN Yoonsik Choe, KOREA Mohsen Hayati, IRAN Hyung Rim Choi, KOREA Maria Ines Herrero Platero, SPAIN Shihchieh Chou, TAIWAN Tzung-Pei Hong, TAIWAN Hwang-cherng Chow, TAIWAN Kuo-Hung Hou, TAIWAN Slo-Li Chu, TAIWAN Michel Houtermans, NETHERLANDS, THE Shun-Ping Chung, TAIWAN Chung-Yuan Huang, TAIWAN Rafa E. Al-Qutaish, CANADA Zhou Huiwei, CHINA Hsu
Load more

Recommended publications
  • System Design in the Era of Iot — Meeting the Autonomy Challenge (Invited Paper)
    System Design in the Era of IoT — Meeting the Autonomy Challenge (Invited paper) Joseph Sifakis University Grenoble Alpes and CNRS / Verimag Grenoble, France [email protected] The advent of IoT is a great opportunity to reinvigorate Computing by focusing on autonomous system design. This certainly raises technology questions but, more importantly, it requires building new foundation that will systematically integrate the innovative results needed to face increasing environment and mission complexity. A key idea is to compensate the lack of human intervention by adaptive control. This is instru- mental for system resilience: it allows both coping with uncertainty and managing mixed criticality services. Our proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time. It makes knowledge generation and application a primary concern and aims to fully and seamlessly incorporate the adap- tive control paradigm in system architecture. 1 Introduction 1.1 The IoT vision The IoT vision promises increasingly interconnected smart systems providing autonomous services for the optimal management of resources and enhanced quality of life. These are used in smart grids, smart transport systems, smart health care services, automated banking services, smart factories, etc. Their coordination should be achieved using a unified network infrastructure, in particular to collect data and send them to the cloud which in return should provide intelligent services and ensure global monitoring and control. The IoT vision raises a lot of expectations and in our opinion, some over-optimism about its short- term outcome and impact. According to analysts, the IoT consists of two segments of uneven difficulty.
    [Show full text]
  • Prof. Joseph Sifakis 2018 Turing Awardee, Computer Science @ Sahyadri Mangaluru Prof
    I CO DR NC A L Y A H V E A S SAHYADRI CONCLAVE SCIENCE • TECHNOLOGY • MANAGEMENT 6 - 10th January Prof. Joseph Sifakis 2018 Turing Awardee, Computer Science @ Sahyadri Mangaluru Prof. Joseph Sifakis - Turing Awardee, Computer Science Prof. Joseph Sifakis is Emeritus Senior CNRS Researcher at Verimag. His current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations. He has been a full time professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years. Verimag is a leading research laboratory in the area of embedded systems, internationally known for the development of the Lustre synchronous language used by the SCADE tool for the design of safety-critical avionics and space applications. In 2007, Professor Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today. He has participated in many major industrial projects led by companies such as Airbus, EADS, France Telecom, Astrium, and STMicroelectronics. He is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor.
    [Show full text]
  • Party Time for Mathematicians in Heidelberg
    Mathematical Communities Marjorie Senechal, Editor eidelberg, one of Germany’s ancient places of Party Time HHlearning, is making a new bid for fame with the Heidelberg Laureate Forum (HLF). Each year, two hundred young researchers from all over the world—one for Mathematicians hundred mathematicians and one hundred computer scientists—are selected by application to attend the one- week event, which is usually held in September. The young in Heidelberg scientists attend lectures by preeminent scholars, all of whom are laureates of the Abel Prize (awarded by the OSMO PEKONEN Norwegian Academy of Science and Letters), the Fields Medal (awarded by the International Mathematical Union), the Nevanlinna Prize (awarded by the International Math- ematical Union and the University of Helsinki, Finland), or the Computing Prize and the Turing Prize (both awarded This column is a forum for discussion of mathematical by the Association for Computing Machinery). communities throughout the world, and through all In 2018, for instance, the following eminences appeared as lecturers at the sixth HLF, which I attended as a science time. Our definition of ‘‘mathematical community’’ is journalist: Sir Michael Atiyah and Gregory Margulis (both Abel laureates and Fields medalists); the Abel laureate the broadest: ‘‘schools’’ of mathematics, circles of Srinivasa S. R. Varadhan; the Fields medalists Caucher Bir- kar, Gerd Faltings, Alessio Figalli, Shigefumi Mori, Bào correspondence, mathematical societies, student Chaˆu Ngoˆ, Wendelin Werner, and Efim Zelmanov; Robert organizations, extracurricular educational activities Endre Tarjan and Leslie G. Valiant (who are both Nevan- linna and Turing laureates); the Nevanlinna laureate (math camps, math museums, math clubs), and more.
    [Show full text]
  • ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging
    ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation precisely describe what constitutes correct behavior. This In 1981, Edmund M. Clarke and E. Allen Emerson, work- makes it possible to contemplate mathematically establish- ing in the USA, and Joseph Sifakis working independently ing that the program behavior conforms to the correctness in France, authored seminal papers that founded what has specification. In most early work, this entailed constructing become the highly successful field of Model Checking. This a formal proof of correctness. In contradistinction, Model verification technology provides an algorithmic means of de- Checking avoids proofs. termining whether an abstract model|representing, for ex- ample, a hardware or software design|satisfies a formal Hoare-style verification was the prevailing mode of formal specification expressed as a temporal logic formula. More- verification going back from the late-1960s until the 1980s. over, if the property does not hold, the method identifies This classic and elegant approach entailed manual proof con- a counterexample execution that shows the source of the struction, using axioms and inference rules in a formal de- problem. ductive system, oriented toward sequential programs. Such proof construction was tedious, difficult, and required hu- The progression of Model Checking to the point where it man ingenuity. This field was a great academic success, can be successfully used for complex systems has required spawning work on compositional or modular proof systems, the development of sophisticated means of coping with what soundness of program proof systems, and their completeness; is known as the state explosion problem.
    [Show full text]
  • A Design Studio for Modeling and Generating Systems with BIP
    DesignBIP: A Design Studio for Modeling and Generating Systems with BIP Anastasia Mavridou Joseph Sifakis Institute for Software Integrated Systems Verimag-Batimentˆ IMAG Vanderbilt University Universite` Grenoble Alpes Nashville, TN, USA 38401 St Martin d‘Heres,` France [email protected] [email protected] Janos Sztipanovits Institute for Software Integrated Systems Vanderbilt University Nashville, TN, USA [email protected] The Behavior-Interaction-Priority (BIP) framework — rooted in rigorous semantics — allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of BIP models is done in a purely textual manner without any code editor support. To facilitate the specification of BIP models, we present DesignBIP, a web-based, collaborative, version-controlled design studio. To promote model scaling and reusability of BIP models, we use a graphical language for modeling parameterized BIP models with rigorous semantics. We present the various services provided by the design studio, including model editors, code editors, consistency checking mechanisms, code generators, and integration with the JavaBIP tool-set. 1 Introduction Modeling languages are often used for designing complex systems. Using dedicated design studios allows increasing the understandability and usability of modeling languages, as well as decreasing de- velopment costs by eliminating errors at design time. Design studio components can be organized in the following three categories: 1) semantic integration, 2) service integration, and 3) tool integration. Semantic integration components comprise the domain of the modeling language, i.e., its metamodel that explicitly specifies the building blocks of the language and their relations.
    [Show full text]
  • Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K
    Noname manuscript No. (will be inserted by the editor) Turing Award elites revisited: patterns of productivity, collaboration, authorship and impact Yinyu Jin1 · Sha Yuan1∗ · Zhou Shao2, 4 · Wendy Hall3 · Jie Tang4 Received: date / Accepted: date Abstract The Turing Award is recognized as the most influential and presti- gious award in the field of computer science(CS). With the rise of the science of science (SciSci), a large amount of bibliographic data has been analyzed in an attempt to understand the hidden mechanism of scientific evolution. These include the analysis of the Nobel Prize, including physics, chemistry, medicine, etc. In this article, we extract and analyze the data of 72 Turing Award lau- reates from the complete bibliographic data, fill the gap in the lack of Turing Award analysis, and discover the development characteristics of computer sci- ence as an independent discipline. First, we show most Turing Award laureates have long-term and high-quality educational backgrounds, and more than 61% of them have a degree in mathematics, which indicates that mathematics has played a significant role in the development of computer science. Secondly, the data shows that not all scholars have high productivity and high h-index; that is, the number of publications and h-index is not the leading indicator for evaluating the Turing Award. Third, the average age of awardees has increased from 40 to around 70 in recent years. This may be because new breakthroughs take longer, and some new technologies need time to prove their influence. Besides, we have also found that in the past ten years, international collabo- ration has experienced explosive growth, showing a new paradigm in the form of collaboration.
    [Show full text]
  • A Leader in Digital Technologies
    INNOVATION INFORMATION TECHNOLOGY QUANTUM TECHNOLOGIES CYBERSECURITY BIG DATA INTERNET OF THINGS CONNECTED OBJECTS DATA MINING EMBEDDED SYSTEMS HARDWARE SOFTWARE SENSORS ARTIFICIAL INTELLIGENCE DIGITAL ETHICS CRYPTOLOGY DIGITAL TWINS EDGE COMPUTING DATA CORRELATION NETWORK CONNECTION PREDICTIVE ANALYSIS DIGITAL CLOUD A LEADER IN DIGITAL TECHNOLOGIES A HISTORY OF DIGITAL “FIRSTS” IN GRENOBLE ALPES 1951 1952 1967 2007 2019 2020 First French First French First French First French 1 of France’s 4 1 of France’s 3 Computing Lab Electronic IT Company Turing Award AI Centers Hubs for Quantum (Jean Kuntzmann) Calculator (Capgemini) (Joseph Sifakis) (MIAI Grenoble Technology (Jean Kuntzmann) Alpes) A UNIQUE DIGITAL COMMUNITY UNITING HARD & SOFTWARE Private sector Public research Public research Private sector 22,500 3,000 2,200 13,800 JOBS JOBS JOBS JOBS Micro/Nano Computing Technologies & Software & Electronics 25,500 16,000 JOBS Digital sector JOBS 41,500 JOBS AREAS OF EXPERTISE IoT & Edge Cybersecurity Big Data Quantum Artificial Digital Computing Computing Intelligence Ethics STANDOUT INSTITUTIONS SUPPORTING INNOVATION Cybersecurity Institute MIAI Grenoble Alpes Quantum Grenoble A coordinated network One of France's 4 artificial One of 3 strategic hubs of cybersecurity partners, intelligence hubs, for quantum computing in bringing together with an expertise in edge France, linking philosophy, research, academia computing and the physics, math, computer & the private sector. impacts of AI on society. science, microelectronics, and the private
    [Show full text]
  • COMP 516 Research Methods in Computer Science Research Methods in Computer Science Lecture 3: Who Is Who in Computer Science Research
    COMP 516 COMP 516 Research Methods in Computer Science Research Methods in Computer Science Lecture 3: Who is Who in Computer Science Research Dominik Wojtczak Dominik Wojtczak Department of Computer Science University of Liverpool Department of Computer Science University of Liverpool 1 / 24 2 / 24 Prizes and Awards Alan M. Turing (1912-1954) Scientific achievement is often recognised by prizes and awards Conferences often give a best paper award, sometimes also a best “The father of modern computer science” student paper award In 1936 introduced Turing machines, as a thought Example: experiment about limits of mechanical computation ICALP Best Paper Prize (Track A, B, C) (Church-Turing thesis) For the best paper, as judged by the program committee Gives rise to the concept of Turing completeness and Professional organisations also give awards based on varying Turing reducibility criteria In 1939/40, Turing designed an electromechanical machine which Example: helped to break the german Enigma code British Computer Society Roger Needham Award His main contribution was an cryptanalytic machine which used Made annually for a distinguished research contribution in computer logic-based techniques science by a UK based researcher within ten years of their PhD In the 1950 paper ‘Computing machinery and intelligence’ Turing Arguably, the most prestigious award in Computer Science is the introduced an experiment, now called the Turing test A. M. Turing Award 2012 is the Alan Turing year! 3 / 24 4 / 24 Turing Award Turing Award Winners What contribution have the following people made? The A. M. Turing Award is given annually by the Association for Who among them has received the Turing Award? Computing Machinery to an individual selected for contributions of a technical nature made Frances E.
    [Show full text]
  • ACM Turing Laureate Lecture Prof. Joseph Sifakis: "On the Nature of Computing"
    Published on BSC-CNS (https://www.bsc.es) Inicio > ACM Turing Laureate Lecture Prof. Joseph Sifakis: "On the nature of Computing" ACM Turing Laureate Lecture Prof. Joseph Sifakis: "On the nature of Computing" Computing is a domain of knowledge. Knowledge is information that embedded into the right network of conceptual interrelations can be used to understand a subject or solve a problem. According to this definition, Physics, Biology but also Mathematics, Engineering, Social Sciences and Cooking are all domains of knowledge. This definition encompasses both, scientific knowledge about physical phenomena and engineering knowledge applied to design and build artefacts. For all domains of knowledge, Mathematics and Logic provide the models; they formalize a priori knowledge which is independent of experience. Computing with Physics and Biology is a basic domain of knowledge. In contrast to the other basic domains, it is rooted in a priori knowledge and deals with the study of information processing – both what can be computed and how to compute it. To understand and master the world, domains of knowledge share two common methodological principles. They use abstraction hierarchies to cope with scale problems. To cope with complexity, they use modularity. We point out similarities and differences in the application of these two methodological principles and discuss inherent limitations common to all domains. In particular, we attempt a comparison between natural systems and computing systems by addressing two issues: 1. Linking physicality and computation 2. Linking natural and artificial intelligence Computing and Physical Sciences share a common objective: the study of dynamic systems. A big difference is that physical systems are inherently synchronous.
    [Show full text]
  • SHORT CURRICULUM VITAE Joseph Sifakis
    SHORT CURRICULUM VITAE Joseph Sifakis 1. PERSONAL Name: JOSEPH SIFAKIS Personal Address: 8 ALLEE DU BOUTET 38240 MEYLAN, France Date and place of birth: December 26, 1946, Heraklion, Greece Citizenship: Greek and French 2. EDUCATION . Habilitation in Computer Science 1979 University of Grenoble . Ph.D. in Computer Science 1974 University of Grenoble . MS in Computer Science 1972 University of Grenoble . Electrical Engineering Degree 1969 Technical University of Athens 3. DISTINCTIONS AND HONORS . Turing Award 2007 (http://awards.acm.org/citation.cfm?id=1167964&srt=all&aw=140&ao=AMTURING&yr=2007) . Silver Medal of CNRS, 2001 . Leonardo da Vinci Medal 2012 (http://www.sefi.be/?page_id=17 ) . Grand Officer of the National Order of Merit, France, 2008 . Commander of the Legion of Honor, France, 2011 . Award of the Greek Parliament for Commonwealth and Democracy, 2010 . Commander of the Order of the Phoenix, Greece 2013 . Member of the French Academy of Sciences, 2010 . Member of Academia Europea, 2008 . Member of the French Academy of Engineering, 2008 . Commander of the Greek Order of the Phoenix, 2012.. Member of the American Academy of Arts and Sciences, 2015 . Member of the National Academy of Engineering, 2017 . Doctor Honoris Causa : EPFL, University of Athens, International Hellenic University 1 4. PROFESSIONAL EXPERIENCE Academic Positions . CNRS researcher at VERIMAG laboratory since 1974 – currently Research Director (Exceptional Class) . Director of the Center for Integrative Research on Intelligent Software and Systems, Grenoble (2010- today) . Full Professor at EPFL (Ecole Polytechnique Fédérale de Lausanne), Director of the « Rigorous System Design Laboratory » (October 2011-September 2016) . Founder and director of the VERIMAG laboratory (1993-2006) .
    [Show full text]
  • Logic and Theorem Proving Current Activities Logic and Theorem
    Logic and Theorem Proving Current Activities In Design Logic and theorem proving are certainly used in real-world applications. It is extremely important to reason and deduct conclusions given information that does not directly prove such conclusions. For example, the team that built the Intel Itanium processor had to prove the reproduction of their logic and design using theorem proofs and logic. The conjunction between hardware and software systems requires great use of but not limited to: symbolic simulation, temporal logic model testing, and general theorem proving to formally verify the behaviors of a processor. I believe that logic and theorem proving are invaluable skills, apart from the purposes of this course. To solve problems, it is important to be able to reason through logical steps to ultimately come to a conclusion. This basic workflow is evident in all types of work including law, healthcare, and apparently, low level processor design. https://www.cl.cam.ac.uk/~jrh13/slides/arw-04apr02/slides.pdf Model checking https://en.wikipedia.org/wiki/Model_checking “Given a model of a system, exhaustively and automatically check whether this model meets a given specification. Typically, one has hardware or software systems in mind, whereas the specification contains safety requirements such as the absence of deadlocks and similar critical states that can cause the system to crash. Model checking is a technique for automatically verifying correctness properties of finite-state systems. In order to solve such a problem algorithmically, both the model of the system and the specification are formulated in some precise mathematical language. To this end, the problem is formulated as a task in logic, namely to check whether a given structure satisfies a given logical formula.
    [Show full text]
  • Co-Authorship Proximity of A. M. Turing Award and John Von Neumann Medal Winners to the Disciplinary Boundaries of Computer Science
    Fields, p. 1 of 23 Co-authorship proximity of A. M. Turing Award and John von Neumann Medal winners to the disciplinary boundaries of computer science Chris Fields 528 Zinnia Court Sonoma, CA 95476 USA [email protected] Keywords: Biomedical sciences; Computer science; Cross-disciplinary brokers; Erdős numbers; Graph centrality; Interdisciplinarity Abstract It is shown that winners of the A. M. Turing Award or the John von Neumann Medal, both of which recognize achievement in computer science, are separated from some other A. M. Turing Award or John von Neumann Medal winner by at most 1.4 co-authorship steps on average, and from some cross- disciplinary broker, and hence from some discipline other than computer science, by at most 1.6 co- authorship steps on average. A. M. Turing Award and John von Neumann Medal recipients during this period are, therefore, on average closer in co-authorship terms to some other discipline that typical computer scientists are, on average, to each other. Introduction How are the most prominent and widely-recognized members of any scientific discipline distributed within the social network formed by that discipline? More specifically, how are the most prominent members of a discipline distributed within the co-authorship graph of that discipline? Studies of co- authorship paths traversing cross-disciplinary brokers (Fields, 2015) and of co-authorship connections of Nobel laureates in Physiology or Medicine (Fields, 2014; in press) suggest a surprising answer: prominent intellectual and, in many cases, political leaders of several disciplines appear to be located near the co-authorship boundaries of their disciplines, in close proximity to cross-disciplinary brokers.
    [Show full text]