(Turing completeness) – om programspråk: egenskapen att man med språket kan skriva program för att lösa alla tänkbara maskinlösbara problem. Med andra ord: med ett Turingfullständigt program kan man simulera varje möjlig Turingmaskin. – Uppkallat efter Alan Turing†. – Se också Turingekvivalens.
[datorvetenskap] [programmering] [ändrad 14 juni 2018]
i datorvetenskap: det att alla delar av ett it‑system, eller samverkande it‑system, är överens om ett visst värde. – Konsensus är en förutsättning för många transaktioner och andra förändringar. Konsensus måste finnas när man gör ändringar i databaser i transaktionssystem (till exempel biljettförsäljning), genomför transaktioner som är tidsberoende (alla måste vara överens om vad klockan är) och i många andra sammanhang. – Det finns många motsvarigheter utanför datorvärlden, till exempel procedurerna som i ett demokratiskt val är till för att alla väljare ska kunna förvissa sig om att valet har gått rätt till och att valresultatet är korrekt. – Man talar i datorvetenskap om konsensusproblemet (the consensus problem). Tekniker för att etablera konsensus kallas för konsensusmekanismer (consensus mechanisms) eller konsensus-algoritmer (consensus algorithms). En känd konsensusalgoritm är blockkedjan i bitcoin‑systemet. – Om det är nödvändigt att nå konsensus trots att det finns ofullständig eller kanske felaktig information talar man om det bysantinska generalsproblemet. – På engelska: consensus.
[datorvetenskap] [systemutveckling] [ändrad 8 augusti 2022]
(the CAP theorem) – säger att ett distribuerat it‑system kan inte samtidigt ha alla de tre egenskaperna consistency, availability och partition tolerance (konsistens, tillgänglighet och partitions‑tolerans, se CAP.) – Satsen formulerades 1998 av den amerikanska datorvetaren Eric Brewer (länk). Den gäller främst databaser.
[databaser] [datorvetenskap] [lagar] [ändrad 3 november 2018]
- – se filnamnsändelse. (Ordet i denna betydelse är lånat från språkvetenskapen);
- – i datorvetenskap: en del av en teckensträng som innehåller teckensträngens sista tecken (i oförändrad ordning). ”kensträng” är alltså ett suffix av ”teckensträng”; ”n” är ett suffix av ”banan”. Ett äkta suffix är inte identiskt med hela teckensträngen, och består inte heller av noll tecken. – Läs också om suffixträd.
[datorvetenskap] [filnamnsändelser] [ändrad 13 juni 2017]
Swedish institute of computer science – ett svenskt forskningsinstitut med inriktning på nätverk och system, industriell användning av it och konsumentorienterade tillämpningar. Finns i Kista (huvudkontor), Linköping, Lund och Västerås. Ingår i paraplyorganisationen RISE och kallas numera för RISE SICS. – Se ri.se….
[datorvetenskap] [forskningsinstitut] [förkortningar på S] [ändrad 25 juli 2020]