|
Self-stabilization
Self-stabilization is a concept of fault-tolerance in distributed systems. Given any initial state, a self-stabilizing distributed system will end up in a correct state in a finite number of execution steps. At first glance, the guarantee of self stabilization may seem less promising than that of the more traditional fault-tolerance of algorithms, that aim to guarantee that the system always remains in a correct state under certain kinds of state transitions. However, that traditional fault tolerance cannot always be achieved. For example, it cannot be achieved when the system is started in an incorrect state or is corrupted by an intruder. Moreover, because of their complexity, it is very hard to debug and to analyze distributed systems. Hence, it is very hard to prevent a distributed system from reaching an incorrect state. Indeed, some forms of self-stabilization are incorporated into many modern computer and telecommunications networks, since it gives them the ability to cope w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shlomi Dolev
Shlomi Dolev (; born December 5, 1958) is a Rita Altura Trust Chair Professor in Computer Science at Ben-Gurion University of the Negev (BGU) and the head of the BGU Negev Hi-Tech Faculty Startup Accelerato Biography Shlomi Dolev received Bachelor of Science, B.Sc. in Civil Engineering in 1984, B.A. in Computer Science in 1985, and his M.Sc. and D.Sc. in computer science in 1990 and 1992 respectively from the Technion Israel Institute of Technology. From 1992 to 1995, he was at Texas A&M University as a visiting research specialist. Academic career In 1995 Dolev joined the Department of Mathematics and Computer Science at BGU. He was the founder and first department head of the Computer Science Department, established in 2000. After 15 years, the department was ranked among the first 150 best departments in the world. He is the author of Self-Stabilization published by MIT Press in 2000. From 2011 to 2014, Dolev served as Dean of the Natural Sciences Faculty. From 2010 he has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edsger Dijkstra
Edsger Wybe Dijkstra ( ; ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, mathematician, and science essayist. Born in Rotterdam in the Netherlands, Dijkstra studied mathematics and physics and then theoretical physics at the University of Leiden. Adriaan van Wijngaarden offered him a job as the first computer programmer in the Netherlands at the Mathematical Centre in Amsterdam, where he worked from 1952 until 1962. He formulated and solved the shortest path problem in 1956, and in 1960 developed the first compiler for the programming language ALGOL 60 in conjunction with colleague Jaap A. Zonneveld. In 1962 he moved to Eindhoven, and later to Nuenen, where he became a professor in the Mathematics Department at the Technische Hogeschool Eindhoven. In the late 1960s he built the THE multiprogramming system, which influenced the designs of subsequent systems through its use of software-based paged virtual memory. Dijkstra joined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shay Kutten
Shay Kutten () is an Israeli computer scientist who holds the William M. Davidson Chair in Industrial Engineering and Management at the Technion – Israel Institute of Technology in Haifa, Israel. He is with the Faculty of Data and Decision Sciences. His research involves Network Algorithms, distributed computing, and Network Security. Education and career Kutten completed his BA, MSc, and DSc at the Technion – Israel Institute of Technology. His MSc was performed under the supervision of Imrich Chlamtac and the doctorate under the supervision of Shlomo Moran and Ephraim Korach. After a post-doctorate with IBM T.J. Watson Research Center, he stayed there as a research staff member and as the group leader and manager of the network algorithms group and of the network security group he founded. Shay Kutten, CV. There, he contributed to v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fault-tolerance
Fault tolerance is the ability of a system to maintain proper operation despite failures or faults in one or more of its components. This capability is essential for high-availability, mission critical, mission-critical, or even life-critical systems. Fault tolerance specifically refers to a system's capability to handle faults without any degradation or downtime. In the event of an error, end-users remain unaware of any issues. Conversely, a system that experiences errors with some interruption in service or graceful degradation of performance is termed 'resilient'. In resilience, the system adapts to the error, maintaining service but acknowledging a certain impact on performance. Typically, fault tolerance describes computer systems, ensuring the overall system remains functional despite computer hardware, hardware or software issues. Non-computing examples include structures that retain their integrity despite damage from fatigue (material), fatigue, corrosion or impact. H ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transient Fault
In an electric power system, a fault is a defect that results in abnormality of electric current. A fault current is any abnormal electric current. For example, a short circuit in which a live wire touches a neutral or ground wire is a fault. An open-circuit fault occurs if a circuit is interrupted by a failure of a current-carrying wire (phase or neutral) or a blown fuse or circuit breaker. In a "ground fault" or "earth fault", current flows into the earth. In three-phase systems, a fault may involve one or more phases and ground, or may occur only between phases. In a polyphase system, a fault may affect all phases equally, which is a "symmetric fault". If only some phases are affected, the resulting "asymmetric fault" becomes more complicated to analyse. The analysis of these types of faults is often simplified by using methods such as symmetrical components. The prospective short-circuit current of a predictable fault can be calculated for most situations. In power systems, p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Superstabilization
Superstabilization is a concept of fault-tolerance in distributed computing. Superstabilizing distributed algorithms combine the features of self-stabilizing algorithms and dynamic algorithms. A superstabilizing algorithm – just like any other self-stabilizing algorithm – can be started in an arbitrary state, and it will ''eventually'' converge to a legitimate state. Additionally, a superstabilizing algorithm will recover ''rapidly'' from a single change in the network topology (adding or removing one edge or node in the network). Any self-stabilizing algorithm recovers from a change in the network topology – the system configuration after a topology change can be treated just like any other arbitrary starting configuration. However, in a self-stabilizing algorithm, the convergence after a single change in the network topology may be as slow as the convergence from an arbitrary starting state. In the study of superstabilizing algorithms, special attention is paid to the time ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mohamed G
Muhammad (8 June 632 CE) was an Arab religious and political leader and the founder of Islam. According to Islam, he was a prophet who was divinely inspired to preach and confirm the monotheistic teachings of Adam, Noah, Abraham, Moses, Jesus, and other prophets. He is believed to be the Seal of the Prophets in Islam, and along with the Quran, his teachings and normative examples form the basis for Islamic religious belief. Muhammad was born in Mecca to the aristocratic Banu Hashim clan of the Quraysh. He was the son of Abdullah ibn Abd al-Muttalib and Amina bint Wahb. His father, Abdullah, the son of tribal leader Abd al-Muttalib ibn Hashim, died around the time Muhammad was born. His mother Amina died when he was six, leaving Muhammad an orphan. He was raised under the care of his grandfather, Abd al-Muttalib, and paternal uncle, Abu Talib. In later years, he would periodically seclude himself in a mountain cave named Hira for several nights of prayer. When he was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Collective Intelligence
Collective intelligence (CI) is shared or group intelligence (GI) that Emergence, emerges from the collaboration, collective efforts, and competition of many individuals and appears in consensus decision making. The term appears in sociobiology, political science and in context of mass peer review and crowdsourcing applications. It may involve Consensus decision-making, consensus, social capital and formalisms such as voting systems, social media and other means of quantifying mass activity. Collective Intelligence quotient, IQ is a measure of collective intelligence, although it is often used interchangeably with the term collective intelligence. Collective intelligence has also been attributed to bacteria and animals. It can be understood as an emergent property from the synergies among: #data-information-knowledge #software-hardware #individuals (those with new insights as well as recognized authorities) that continually learn from feedback to produce just-in-time knowledge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MIT Press
The MIT Press is the university press of the Massachusetts Institute of Technology (MIT), a private research university in Cambridge, Massachusetts. The MIT Press publishes a number of academic journals and has been a pioneer in the Open Access movement in academic publishing. History MIT Press traces its origins back to 1926 when MIT published a lecture series entitled ''Problems of Atomic Dynamics'' given by the visiting German physicist and later Nobel Prize winner, Max Born. In 1932, MIT's publishing operations were first formally instituted by the creation of an imprint called Technology Press. This imprint was founded by James R. Killian, Jr., at the time editor of MIT's alumni magazine and later to become MIT president. Technology Press published eight titles independently, then in 1937 entered into an arrangement with John Wiley & Sons in which Wiley took over marketing and editorial responsibilities. In 1961, the centennial of MIT's founding charter, the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computational Complexity Theory
In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and explores the relationships between these classifications. A computational problem is a task solved by a computer. A computation problem is solvable by mechanical application of mathematical steps, such as an algorithm. A problem is regarded as inherently difficult if its solution requires significant resources, whatever the algorithm used. The theory formalizes this intuition, by introducing mathematical models of computation to study these problems and quantifying their computational complexity, i.e., the amount of resources needed to solve them, such as time and storage. Other measures of complexity are also used, such as the amount of communication (used in communication complexity), the number of logic gate, gates in a circuit (used in circuit complexity) and the number of processors (used in parallel computing). O ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Krzysztof R
Krzysztof () is a Polish male given name, equivalent to English ''Christopher''. The name became popular in the 15th century. Its diminutive forms include Krzyś, Krzysiek, and Krzysio; augmentative – Krzychu Individuals named Krzysztof may choose to celebrate their name day on March 15, July 25, March 2, May 21, August 20 or October 31. People with the first name Krzysztof * Krzysztof Arciszewski (1592–1656), Polish military man * Krzysztof Bednarski (born 1953), famous contemporary Polish sculptor * Krzysztof Bizacki (born 1973), Polish footballer * Krzysztof Bukalski (born 1970), Polish footballer * Krzysztof Charamsa (born 1972), Polish priest * Krzysztof Chodkiewicz, d. 1652, Polish-Lithuanian nobleman * Krzysztof Cwalina (born 1971), Polish freestyle swimmer * Krzysztof Czerwinski (Krzysztof Czerwiński) (born 1980), Polish conductor, organist and voice teacher * Krzysztof Dabrowski (Krzysztof Dąbrowski) (born 1978), Polish footballer * Krzysztof Głowacki (bor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shlomo Moran
Shlomo Moran (; born 1947) is an Israeli computer scientist, the Bernard Elkin Chair in Computer Science at the Technion – Israel Institute of Technology in Haifa, Israel. Moran received his Ph.D. in 1979 from the Technion, under the supervision of Azaria Paz; his dissertation was entitled "NP Optimization Problems and their Approximation". Several PhD students of Moran joined the academia as well, including Shlomi Dolev, Ilan Gronau, Shay Kutten, and Gadi Taubenfeld. In 1993 he shared the Gödel Prize with László Babai, Shafi Goldwasser, Silvio Micali, and Charles Rackoff for their work on Arthur–Merlin protocols and interactive proof systems. , ACM |
