Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Andrew S. Tanenbaum"'
Autor:
Andrew S. Tanenbaum
Publikováno v:
Tanenbaum, A S 2016, ' Lessons learned from 30 years of MINIX ', Communications of the ACM, vol. 59, no. 3, pp. 70-78 . https://doi.org/10.1145/2795228
Communications of the ACM, 59(3), 70-78. Association for Computing Machinery (ACM)
Communications of the ACM, 59(3), 70-78. Association for Computing Machinery (ACM)
MINIX shows even an operating system can be made to be self-healing.
Publikováno v:
Hruby, T, Giuffrida, C, Sambuc, L, Bos, H & Tanenbaum, A S 2016, A NEaT Design for reliable and scalable network stacks . in CoNEXT 2016-Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies . Association for Computing Machinery, Inc, pp. 359-373, 12th ACM Conference on Emerging Networking Experiments and Technologies, ACM CoNEXT 2016, Irvine, United States, 12/12/16 . https://doi.org/10.1145/2999572.2999579
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies-CoNEXT '16
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies-CoNEXT 16
CoNEXT 2016-Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies, 359-373
STARTPAGE=359;ENDPAGE=373;TITLE=CoNEXT 2016-Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies
CoNEXT
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies-CoNEXT '16
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies-CoNEXT 16
CoNEXT 2016-Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies, 359-373
STARTPAGE=359;ENDPAGE=373;TITLE=CoNEXT 2016-Proceedings of the 12th International Conference on Emerging Networking EXperiments and Technologies
Proceedings of the 12th International on Conference on emerging Networking EXperiments and Technologies
CoNEXT
Operating systems provide a wide range of services, which are crucial for the increasingly high reliability and scalability demands of modern applications. Providing both reliability and scalability at the same time is hard. Commodity OS architecture
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::819cf280867de1c93d81c1341a972fd1
https://hdl.handle.net/1871.1/171080bc-5c59-4219-a5db-ca0c2583d779
https://hdl.handle.net/1871.1/171080bc-5c59-4219-a5db-ca0c2583d779
Publikováno v:
Miraglia, A, Vogt, D, Bos, H, Tanenbaum, A & Giuffrida, C 2016, Peeking into the Past : Efficient Checkpoint-Assisted Time-Traveling Debugging . in Proceedings-2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016 ., 7774543, ACM, IEEE Computer Society, pp. 455-466, 27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, United States, 23/10/16 . https://doi.org/10.1109/ISSRE.2016.9
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)
Proceedings-2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016, 455-466
STARTPAGE=455;ENDPAGE=466;TITLE=Proceedings-2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016
ISSRE
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE)
Proceedings-2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016, 455-466
STARTPAGE=455;ENDPAGE=466;TITLE=Proceedings-2016 IEEE 27th International Symposium on Software Reliability Engineering, ISSRE 2016
ISSRE
Debugging long-lived latent software bugs that manifest themselves only long after their introduction in the system is hard. Even state-of-the-artrecord/replay debugging techniques are of limited use to identify the rootcause of long-lived latent bug
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ce14dac0994e4c5ef7c23499fe85670
https://doi.org/10.1109/ISSRE.2016.9
https://doi.org/10.1109/ISSRE.2016.9
Publikováno v:
Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, 144-155
STARTPAGE=144;ENDPAGE=155;TITLE=Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
DSN
Kouwe, E V D & Tanenbaum, A S 2016, HSFI : Accurate fault injection scalable to large code bases . in Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 ., 7579737, Institute of Electrical and Electronics Engineers, Inc., pp. 144-155, 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, 28/06/16 . https://doi.org/10.1109/DSN.2016.22
STARTPAGE=144;ENDPAGE=155;TITLE=Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
DSN
Kouwe, E V D & Tanenbaum, A S 2016, HSFI : Accurate fault injection scalable to large code bases . in Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 ., 7579737, Institute of Electrical and Electronics Engineers, Inc., pp. 144-155, 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, 28/06/16 . https://doi.org/10.1109/DSN.2016.22
When software fault injection is used, faults aretypically inserted at the binary or source level. The former isfast but provides poor fault accuracy while the latter cannotscale to large code bases because the program must be rebuiltfor each experim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b61bbf67b8abb5b2e56f0388278d8cc9
https://research.vu.nl/en/publications/e9c3e8ea-a307-4a14-9b65-6d5e05206922
https://research.vu.nl/en/publications/e9c3e8ea-a307-4a14-9b65-6d5e05206922
Publikováno v:
ASPLOS
Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems, 279-292
STARTPAGE=279;ENDPAGE=292;TITLE=Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems
Giuffrida, C, Kuijsten, A & Tanenbaum, A S 2013, Safe and Automatic Live Update for Operating Systems . in Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems . ACM, pp. 279-292 . https://doi.org/10.1145/2451116.2451147
ACM SIGPLAN Notices
Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems, 279-292
STARTPAGE=279;ENDPAGE=292;TITLE=Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems
Giuffrida, C, Kuijsten, A & Tanenbaum, A S 2013, Safe and Automatic Live Update for Operating Systems . in Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems . ACM, pp. 279-292 . https://doi.org/10.1145/2451116.2451147
ACM SIGPLAN Notices
Increasingly many systems have to run all the time with no downtime allowed. Consider, for example, systems controlling electric power plants and e-banking servers. Nevertheless, security patches and a constant stream of new operating system versions
Autor:
Maarten van Steen, Andrew S. Tanenbaum
Publikováno v:
Computing, 98(10), 967-1009. Springer
van Steen, M & Tanenbaum, A S 2016, ' A brief introduction to distributed systems ', Computing, vol. 98, no. 10, pp. 967-1009 . https://doi.org/10.1007/s00607-016-0508-7
Computing, 98(10), 967-1009. Springer Wien
van Steen, M & Tanenbaum, A S 2016, ' A brief introduction to distributed systems ', Computing, vol. 98, no. 10, pp. 967-1009 . https://doi.org/10.1007/s00607-016-0508-7
Computing, 98(10), 967-1009. Springer Wien
Distributed systems are by now commonplace, yet remain an often difficult area of research. This is partly explained by the many facets of such systems and the inherent difficulty to isolate these facets from each other. In this paper we provide a br
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00162c833e2f7896f8ac507dd1bfb4b8
https://research.utwente.nl/en/publications/3b63094e-f4bc-4bbc-aa7c-07309d0d5948
https://research.utwente.nl/en/publications/3b63094e-f4bc-4bbc-aa7c-07309d0d5948
Publikováno v:
Giuffrida, C, Iorgulescu, C, Tanenbaum, A S & Tamburrelli, G 2016, ' Automating Live Update for Generic Server Programs ', IEEE Transactions on Software Engineering, vol. PP, no. 99 . https://doi.org/10.1109/TSE.2016.2584066
IEEE Transactions on Software Engineering, PP(99). Institute of Electrical and Electronics Engineers Inc.
IEEE Transactions on Software Engineering, PP(99). Institute of Electrical and Electronics Engineers Inc.
The pressing demand to deploy software updates without stopping running programs has fostered much research on live update systems in the past decades. Prior solutions, however, either make strong assumptions on the nature of the update or require ex
Autor:
Koustubha Bhat, Dirk Vogt, Ben Gras, Cristiano Giuffrida, Erik van der Kouwe, Lionel Sambuc, Herbert Bos, Andrew S. Tanenbaum
Publikováno v:
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, 25-36
STARTPAGE=25;ENDPAGE=36;TITLE=Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
Bhat, K, Vogt, D, Kouwe, E V D, Gras, B, Sambuc, L, Tanenbaum, A S, Bos, H & Giuffrida, C 2016, OSIRIS : Efficient and consistent recovery of compartmentalized operating systems . in Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 ., 7579727, Institute of Electrical and Electronics Engineers, Inc., pp. 25-36, 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, 28/06/16 . https://doi.org/10.1109/DSN.2016.12
DSN
Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, 25-36
STARTPAGE=25;ENDPAGE=36;TITLE=Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016
Bhat, K, Vogt, D, Kouwe, E V D, Gras, B, Sambuc, L, Tanenbaum, A S, Bos, H & Giuffrida, C 2016, OSIRIS : Efficient and consistent recovery of compartmentalized operating systems . in Proceedings-46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 ., 7579727, Institute of Electrical and Electronics Engineers, Inc., pp. 25-36, 46th IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, 28/06/16 . https://doi.org/10.1109/DSN.2016.12
DSN
Much research has gone into making operating systems more amenable to recovery and more resilient to crashes. Traditional solutions rely on partitioning the operating system (OS) to contain the effects of crashes within compartments and facilitate mo
Autor:
Cristiano Giuffrida, Georgios Portokalidis, Dirk Vogt, Andrew S. Tanenbaum, Herbert Bos, Armando Miraglia
Publikováno v:
Proceedings of the 16th Annual Middleware Conference on-Middleware '15
Proceedings of the 16th Annual Middleware Conference on-Middleware 15
Middleware
Proceedings of the ACM/IFIP/USENIX Middleware Conference, 197-209
STARTPAGE=197;ENDPAGE=209;TITLE=Proceedings of the ACM/IFIP/USENIX Middleware Conference
Proceedings of the 16th Annual Middleware Conference
Vogt, D, Portokalidis, G, Bos, H J, Tanenbaum, A S, Giuffrida, C & Miraglia, A 2015, Speculative Memory Checkpointing . in Proceedings of the ACM/IFIP/USENIX Middleware Conference . ACM, pp. 197-209 . https://doi.org/10.1145/2814576.2814802
Proceedings of the 16th Annual Middleware Conference on-Middleware 15
Middleware
Proceedings of the ACM/IFIP/USENIX Middleware Conference, 197-209
STARTPAGE=197;ENDPAGE=209;TITLE=Proceedings of the ACM/IFIP/USENIX Middleware Conference
Proceedings of the 16th Annual Middleware Conference
Vogt, D, Portokalidis, G, Bos, H J, Tanenbaum, A S, Giuffrida, C & Miraglia, A 2015, Speculative Memory Checkpointing . in Proceedings of the ACM/IFIP/USENIX Middleware Conference . ACM, pp. 197-209 . https://doi.org/10.1145/2814576.2814802
High-frequency memory checkpointing is an important technique in several application domains, such as automatic error recovery (where frequent checkpoints allow the system to transparently mask failures) and application debugging (where frequent chec
Publikováno v:
Operating Systems Review (ACM), 48(1-118), 21-25. Association for Computing Machinery (ACM)
Scopus-Elsevier
Proceedings of the Ninth Workshop on Hot Topics in System Dependability, 12:1-12:5
STARTPAGE=12:1;ENDPAGE=12:5;TITLE=Proceedings of the Ninth Workshop on Hot Topics in System Dependability
Vogt, D, Giuffrida, C, Bos, H J & Tanenbaum, A S 2013, Techniques for Efficient In-Memory Checkpointing . in Proceedings of the Ninth Workshop on Hot Topics in System Dependability . ACM, pp. 12:1-12:5 . https://doi.org/10.1145/2524224.2524236
Vogt, D, Giuffrida, C, Bos, H & Tanenbaum, A S 2014, ' Techniques for efficient in-memory checkpointing ', Operating Systems Review (ACM), vol. 48, no. 1-118, pp. 21-25 . https://doi.org/10.1145/2626401.2626406
HotDep
Scopus-Elsevier
Proceedings of the Ninth Workshop on Hot Topics in System Dependability, 12:1-12:5
STARTPAGE=12:1;ENDPAGE=12:5;TITLE=Proceedings of the Ninth Workshop on Hot Topics in System Dependability
Vogt, D, Giuffrida, C, Bos, H J & Tanenbaum, A S 2013, Techniques for Efficient In-Memory Checkpointing . in Proceedings of the Ninth Workshop on Hot Topics in System Dependability . ACM, pp. 12:1-12:5 . https://doi.org/10.1145/2524224.2524236
Vogt, D, Giuffrida, C, Bos, H & Tanenbaum, A S 2014, ' Techniques for efficient in-memory checkpointing ', Operating Systems Review (ACM), vol. 48, no. 1-118, pp. 21-25 . https://doi.org/10.1145/2626401.2626406
HotDep
Checkpointing is a pivotal technique in system research, with applications ranging from crash recovery to replay debugging. In this paper, we evaluate a number of in-memory checkpointing techniques and compare their properties. We also present a new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::263987acac0e2d1e4bcd8a7cbd230c6a
https://research.vu.nl/en/publications/e6cd42e2-dac3-45ea-bb16-7c7d1a261d1f
https://research.vu.nl/en/publications/e6cd42e2-dac3-45ea-bb16-7c7d1a261d1f