Zobrazeno 1 - 10
of 143
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:
Nathanael Paul, Andrew S. Tanenbaum
Publikováno v:
Computer, 42, 23-29. IEEE
Paul, N & Tanenbaum, A S 2009, ' Trustworthy Voting: From Machine to System ', Computer, vol. 42, pp. 23-29 . https://doi.org/10.1109/mc.2009.169
Paul, N & Tanenbaum, A S 2009, ' Trustworthy Voting: From Machine to System ', Computer, vol. 42, pp. 23-29 . https://doi.org/10.1109/mc.2009.169
The authors describe an electronic voting approach that takes a system view, incorporating a trustworthy process based on open source software, simplified procedures, and built-in redundant safeguards that prevent tampering. © 2009 IEEE.
Autor:
Frances M. T. Brazier, Reinier Timmer, Guido J. Van 't Noordende, Andrew S. Tanenbaum, Benno J. Overeinder
Publikováno v:
van t Noordende, G J, Overeinder, B J, Timmer, R J, Brazier, F M & Tanenbaum, A S 2009, ' Constructing Secure Mobile Agent Systems Using the Agent Operating System ', International Journal of Intelligent Information and Database Systems, vol. 3, pp. 363-381 . https://doi.org/10.1504/ijiids.2009.030435
International Journal of Intelligent Information and Database Systems, 3, 363-381. Inderscience Enterprises Ltd
International Journal of Intelligent Information and Database Systems, 3, 363-381. Inderscience Enterprises Ltd
Designing a secure and reliable mobile agent system is a difficult task. The agent operating system (AOS) is a building block that simplifies this task. AOS provides common primitives required by most mobile agent middleware systems, such as primitiv