2007/14 – Ledare – Större system och mer mjukvara

I det här numret av EiN finns det en ganska lång rad artiklar om verifiering. När jag satte samman temat roade jag mig med att jämföra med samma ämne för tio år sedan och det är en ganska intressant utveckling. På den tiden låg nästan all fokus på hårdvara. Det viktigaste var att kunna verifiera […]

2007/13 – Ledare – Inga genvägar

De senaste två åren har vi fått se ett jättelikt skifte från den traditionella enkelprocessorn till multiprocessorer. Majoriteten av de datorer som säljs idag har minst två processorkärnor och övergången till fyra eller fler processorkärnor är redan i full gång. Orsaken till det här har vi skrivit om många gånger förut. Det går inte längre […]