الصفحة 6
الصفحة 6
Recent Advances in Parallel Virtual Machine and Message Passing Interface ; 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
This book is organized in topical sections on applications, collective operations, library internals, message passing for multi-core and mutlithreaded architectures, MPI datatypes, MPI I/O, synchronisation issues in point-to-point and one-sided communications, tools, and verification of message passing programs.
Provable and Practical Security ; 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: signature schemes, encryption schemes and NIZKS, secure machine learning and multiparty computation, secret sharing schemes, and security analyses.
Progress in Cryptology - AFRICACRYPT 2020 ; 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2020, held in Cairo, Egypt, in July 2020. The 21 papers presented in this book were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on zero knowledge, symmetric key cryptography, elliptic curves, post quantum cryptography, lattice based cryptography, side channel attacks, cryptanalysis and new algorithms and schemes. AFRICACRYPT is a major scientific event that seeks to advance and promote the field of cryptology on the African continent. The conference has systematically drawn some excellent contributions to the field. The conference has always been organized in cooperation with the International Association for Cryptologic Research (IACR).
Programming languages and systems ; 31st European symposium on programming, ESOP 2022, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Programming Languages and Systems ; 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Programming languages and systems ; 29th European Symposium on Programming, ESOP 2020, Held as part of the European Joint Conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Programming Languages and Systems ; 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, Greece. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementa- tion of programming languages and systems. The 36 papers in this volume were selected from 114 submissions based on origi-nality and quality.
Professional Practice in Artificial Intelligence ; IFIP 19th World Computer Congress, TC-12: Professional Practice Stream, August 21-24, 2006, Santiago, Chile
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Proceedings of the IFIP Tc 11 23rd international information security conference ; IFIP 20th World Computer Congress, IFIP SEC’08, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks ; 2nd International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 10th International Workshop on Principles, Systems and Applications of IP Telecommunications, held in Heidelberg, Germany, in July 2008.The 16 full papers presented were carefully reviewed and selected from a total of 56 submissions. Topics covered include recent advances in the domains of convergent networks, VoIP security, and multimedia service environments for next generation networks.
Principles of Distributed Systems ; 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings
The 30 full papers and 11 short papers presented were carefully reviewed and selected from 102 submissions. The conference focused on the following topics: communication and synchronization protocols; distributed algorithms and multiprocessor algorithms; distributed cooperative computing; embedded systems; fault-tolerance, reliability and availability; grid and cluster computing; location- and context-aware systems; mobile agents and autonomous robots; mobile computing and networks; peer-to-peer systems and overlay networks; complexity and lower bounds; performance analysis of distributed systems; real-time systems; security issues in distributed computing and systems; sensor networks; specification and verification of distributed systems; and testing and experimentation with distributed systems.
Precision Assembly Technologies for Mini and Micro Products ; Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS'2006), 19-21 February 2006, Bad Hofgastein, Austria
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.
Power-Aware Computer Systems ; Vol.3471 : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
Welcome to the proceedings of the Power-Aware Computer Systems (PACS 2004) workshop held in conjunction with the 37th Annual International Sym- sium on Microarchitecture (MICRO-37). The continued increase of power and energy dissipation in computer systems has resulted in higher cost, lower re- ability, and reduced battery life in portable systems. Consequently, power and energy have become ?rst-class constraints at all layers of modern computer s- tems. PACS 2004 is the fourth workshop in its series to explore techniques to reduce power and energy at all levels of computer systems and brings together academic and industry researchers. The papers in these proceedings span a wide spectrum of areas in pow- aware systems. We have grouped the papers into the following categories: (1) microarchitecture- and circuit-level techniques, (2) power-aware memory and interconnect systems, and (3) frequency- and voltage-scaling techniques. The ?rst paper in the microarchitecture group proposes banking and wri- back ?ltering to reduce register ?le power. The second paper in this group - timizes both delay and power of the issue queue by packing two instructions in each issue queue entry and by memorizing upper-order bits of the wake-up tag. The third paper proposes bit slicing the datapath to exploit narrow width operations, and the last paper proposes to migrate application threads from one core to another in a multi-core chip to address thermal problems.
Power-Aware Computer Systems ; 3rd International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers
Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposium on Microarchitecture (MICRO-36). The increase in power and - ergy dissipation in computer systems has begun to limit performance and has also resulted in higher cost and lower reliability. The increase also implies - duced battery life in portable systems. Because of the magnitude of the problem, all levels of computer systems, including circuits, architectures, and software, are being employed to address power and energy issues. PACS 2003 was the third workshop in its series to explore power- and energy-awareness at all levels of computer systems and brought together experts from academia and industry. These proceedings include 14 research papers, selected from 43 submissions, spanning a wide spectrum of areas inpower-aware systems.We have grouped the papers into the following categories: (1) compilers, (2) embedded systems, (3) microarchitectures, and (4) cache and memory systems. The ?rst paper on compiler techniques proposes pointer reuse analysis that is biased by runtime information (i.e., the targets of pointers are determined based on the likelihood of their occurrence at runtime) to map accesses to ener- e?cient memory access paths (e.g., avoid tag match). Another paper proposes compiling multiple programs together so that disk accesses across the programs can be synchronized to achieve longer sleep times in disks than if the programs are optimized separately.
Policies and Research in Identity Management ; 1st IFIP WG11.6 Working Conference on Policies and Research in Identity Management (IDMAN'07), RSM Erasmus University, Rotterdam, The Netherlands, October 11-12, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Pervasive Collaborative Networks ; IFIP TC 5 WG 5.5 Ninth Working Conference on VIRTUAL ENTERPRISES, September 8-10, 2008, Poznan, Poland
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Performance Modeling and Engineering
This book presents the latest advances in methodology and techniques of performance modeling and engineering, ranging from theoretical advances to system and architecture developments, from technology to economics, from academic innovations to engineering processes, from statistical analysis to system control, and from enterprise systems to computer networks. The collection promotes innovative research in these emerging topics, bridging the gap between theory and practice, and stimulating the use of these new developments.
Performance Analysis of Network Architectures
Parallel and distributed computer systems are built to close the gap between the demand for high-performance computing and the computing power available using standalone single-processor machines. Traffic in networks connecting such systems is typically characterized by its distribution in time and space. Three approaches can be applied to determine the related network performance: measurement, simulation, and mathematical methods.
People and Computers XVIII - Design for Life ; Proceedings of HCI 2004
We selected 23 full papers out of 63 submitted, which covered our interaction with computer systems in a variety of types of life situation — including games, tourism and certain types of work — and also covered a variety of stages in our lives, from the young to the elderly. These papers were complemented by others that described more traditional aspects of research in the field of human-computer interaction. In putting together the programme we followed a three-stage process. First each paper was reviewed by at least three reviewers. Then a member of the committee conducted a meta-review. Finally, all sets of reviews were considered by the technical chairs who assembled a programme that was submitted to, and approved by, the full committee. This process was greatly assisted by the use of the Precision Conference Solutions web-based submission system.
Pattern recognition and artificial intelligence ; 3rd Mediterranean Conference, MedPRAI 2019, Istanbul, Turkey, December 22–23, 2019, Proceedings
Constitutes the refereed proceedings of the Third Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2019, held in Istanbul, Turkey, in December 2019. The 18 revised full papers and one short paper presented were carefully selected from 54 submissions. The papers are covering the topics of recent advancements in different areas of pattern recognition and artificial intelligence, such as statistical, structural and syntactic pattern recognition, machine learning, data mining, neural networks, computer vision, multimedia systems, information retrieval, etc.
