Bilgisayar bilimi, bilgisayarların tasarımı ve kullanımı için temel oluşturan teori, deney ve mühendislik çalışmasıdır. Hesaplamaya ve uygulamalarına bilimsel ve pratik bir yaklaşımdır. Bilgisayar bilimi; edinim, temsil, işleme, depolama, iletişim ve erişimin altında yatan yönteme dayalı prosedürlerin veya algoritmaların fizibilitesi, yapısı, ifadesi ve mekanizasyonunun sistematik çalışmasıdır. Bilgisayar biliminin alternatif, daha özlü tanımı "büyük, orta veya küçük ölçekli algoritmik işlemleri otomatikleştirme çalışması" olarak nitelendirilebilir. Bir bilgisayar bilimcisi, hesaplama teorisi ve hesaplama sistemlerinin tasarımı konusunda uzmanlaşmıştır.
UNIX türevi işletim sistemleri çok işlemcili çok pahalı makinelerden tek işlemcili, basit ve çok ucuz ev bilgisayarlarına kadar pek çok cihaz üzerinde çalışabilen esnek ve sağlamlığı çok değişik koşullarda test edilmiş sistemlerdir. Fakat özellikle kararlı yapısı ve çok kullanıcılı-çok görevli yapısıyla çok işlemcili sunucularda adeta standart haline gelmiştir ve özellikle akademik dünyada iş istasyonları üzerinde çok yaygın bir kullanım alanı bulmuştur. UNIX, Interdata 7/32, VAX ve Motorola 68000 arasında hızla yayıldı.
Bilgisayar Derneği, bilgisayar bilimleri alanındaki en eski mesleki kuruluştur. 1947'de kurulmuş, günümüzde 80.000 üyeye ulaşmıştır. Mesleki ve akademik yayınları ile toplantı faaliyetlerinin yanı sıra, bilişim dalının en önemli ödülü kabul edilen Turing Ödülü'nü vermesiyle de bilinir. Merkezi New York şehrindedir. Dünya genelini kapsayan üyelik sistemi ile bilişim teknolojisinin çeşitli alanları ile uğraşan profesyonellere ve öğrencilere kaynak sağlamaktadır.
ACM A.M. Turing Ödülü, modern bilgisayar biliminin kurucularından sayılan Alan Turing anısına, 1966'dan beri her yıl Association for Computing Machinery (ACM) tarafından bilişim dünyasına katkıda bulunanlara verilen bir ödüldür. Ödüle değer görülen katkılarda "kalıcı olma ve bilgisayar bilimi dünyasına önemli bir etki yapma" koşulu aranmaktadır. Bilişim konulu en önemli ödül olduğu düşünülen Turing Ödülü bilgisayar dünyasının Nobel Ödülü olarak da anılmaktadır.
Unix System V ya da SysV, daha seyrek olarak System 5 olarak adlandırılan, UNIX işletim sisteminin sürümlerinden biridir. Esasen AT&T tarafından geliştirilmiş olup 1983 yılında piyasaya sürülmüştür. 4 ana versiyonuyla piyasaya sürülen sistem birçok Unix özelliğini içinde barındırmaktadır: IBM'in AIX, Hewlett Packard Enterprise'ın HP-UX ve Oracle'ın Solaris, ayrıca OpenSolaris'ten kısımlanmış ücretsiz yazılım illumos.
Bir hiper yönetici veya sanal makine monitörü (VMM), sanal makineleri oluşturan ve çalıştıran bilgisayar yazılımı, bellenim veya donanımdır. Bir hipervizörün bir veya daha fazla sanal makineyi çalıştırdığı bir bilgisayara ana makine adı verilir ve her sanal makineye konuk makinesi adı verilir. Hiper yönetici, konuk işletim sistemlerini sanal işletim platformuyla sunar ve konuk işletim sistemlerinin yürütülmesini yönetir. Çeşitli işletim sistemlerinin birden fazla örneği sanallaştırılmış donanım kaynaklarını paylaşabilir: örneğin, Linux, Windows ve macOS örneklerinin tümü tek bir fiziksel x86 makinede çalışabilir. Konuk işletim sistemleri aynı çekirdeğe sahip farklı Linux dağıtımları gibi kullanıcı alanında farklılık gösterebilse de, bu, tüm örneklerin tek bir çekirdeği paylaşması gereken işletim sistemi düzeyinde sanallaştırma ile çelişir.
Deadlock ya da kilitlenme, iki ya da daha fazla eylemin devam etmek için birbirlerinin bitmesini beklemesi ve sonuçta ikisinin de devam edememesi durumu. Genellikle "yumurta mı tavuk mu önce gelir?" gibi paradokslarda görülür.
Bu sayfa işletim sistemi listesidir. Bilgisayar işletim sistemleri teknolojisine, sahibine, lisansına, çalışma durumuna, kullanıma ve birçok diğer özelliklerine göre kategorilere ayrılır. Uygulamada birçok grup ortak olabilir.
Intel Güvenilir Yürütme Teknolojisi, bilgisayar donanım teknolojisidir ve başlıca hedefleri şunlardır:
- Bir platformun ve işletim sisteminin güvenilirliğinin onaylanması.
- Bir işletim sisteminin eğer güvenilir bir ortamda başlatıldığından emin olunursa, işletim sistemi güvenilir olarak kabul edilebilir.
- Güvenilirliği kanıtlanmış işletim sistemlerinin, kanıtlanmamış olanlara göre ek güvenlik özellikleri sağlaması.
Bilgisayar bilimi tarihi, modern dijital bilgisayarların ortaya çıkışından çok daha öncelere dayanmaktadır. Abaküs gibi sabit sayısal görevleri hesaplamak için kullanılan makineler, antik çağlardan beri çarpma ve bölme gibi hesaplamalara yardımcı olmuştur. Hesaplamalar yapmaya yaran algoritmalar, antik çağlardan beri, hatta gelişmiş bilgi işlem ekipmanlarının geliştirilmesinden önce bile var olmuştur.
Veri analizinde, anomali tespiti, verilerin çoğunluğundan önemli ölçüde farklılaşarak şüphe uyandıran nadir öğelerin, olayların veya gözlemlerin tanımlanmasıdır. Tipik olarak anormal öğeler, banka dolandırıcılığı, yapısal bir kusur, tıbbi sorunlar veya bir metindeki hatalar gibi bir tür soruna dönüşecektir. Anormallikler ayrıca aykırı değerler, yenilikler, gürültü, sapmalar ve istisnalar olarak da adlandırılmaktadır.
Plan 9 from Bell Labs, 80'lerin ortasında Bell Labs'in Bilgisayar Bilimleri Araştırma Merkezi'nde (CSRC) geliştirilmeye başlanmış, 1960'larda geliştirilen Unix'den ilham alan bir dağıtılmış işletim sistemidir. 2000 yılından beri Plan 9 Özgür ve açık kaynaktır. En son sürümü 2015 başları çıkmıştır.
IBM i, IBM tarafından IBM Power Systems için geliştirilmiş bir işletim sistemidir. İlk olarak 1988'de IBM AS/400 sistem serisinin tek işletim sistemi olarak OS/400 olarak piyasaya sürüldü. 2008'de ikinci kez IBM i olarak yeniden adlandırılmadan önce 2004'te i5/OS olarak yeniden adlandırıldı. System/36 SSP ve AIX uygulamaları için uyumluluk katmanlarına sahip System/38 CPF işletim sisteminin bir evrimidir. Makine Arayüzü, nesne tabanlı adreslemenin tek seviyeli bir depo üzerinde uygulanması ve ilişkisel bir veritabanının işletim sistemine sıkı entegrasyonu dahil olmak üzere System/38 platformundan bir dizi ayırt edici özelliği miras almıştır.
Barrelfish, ETH Zurich tarafından Cambridge'deki Microsoft Research'ün yardımıyla oluşturulmuş deneysel bir işletim sistemidir. Düşük seviyeli donanım bilgilerini bir veritabanına koyarak, bir bilgisayarda daha fazla CPU kullanıldığından faydadaki bileşik azalmayı azaltmak amacıyla, çok çekirdekli işlemcilerle oluşturulmuş bilgisayarlar için ölçeklenebilirlik sürücü yazılımının gerekliliğini kaldırmak için sıfırdan tasarlanmış deneysel bir işletim sistemidir.
Qubes OS, izolasyon (yalıtma) yoluyla güvenlik sağlamayı amaçlayan güvenlik odaklı bir masaüstü Linux dağıtımıdır. Sanallaştırma, Xen tarafından gerçekleştirilir ve kullanıcı ortamları diğer işletim sistemlerinin yanı sıra Fedora, Debian, Whonix ve Microsoft Windows tabanlı olabilir.
Anna R. Karlin, Washington Üniversitesi'nde Microsoft Bilgisayar Bilimi ve Mühendisliği Profesörü olan Amerikalı bir bilgisayar bilimcidir.
IBM anaçatı bilgisayarları, 1952'den beri IBM tarafından üretilen büyük bilgisayar sistemleridir. 1960'lar ve 1970'lerde IBM bilgisayar pazarına 7000 serisi ve daha sonraki System/360 ve ardındaki System/370 ile birlikte hükmediyordu. IBM'in mevcut kurumsal bilgisayarlar serisindeki anaçatı bilgisayarları System/360'ın temel tasarımının geliştirilmiş halidir.
SHARE Inc. 1955 yılında Los Angeles civarındaki IBM 704 bilgisayar sistemlerini kullananlar tarafından IBM anaçatı bilgisayarları için kurulan gönüllülerin yürüttüğü bir kullanıcı grubu olarak başlamıştır.
IBM anaçatı bilgisayar işletim sistemlerinin tarihçesi, IBM'in anaçatı bilgisayar tedarikindeki tarihi üstünlüğü sebebiyle tüm anaçatı bilgisayar işletim sistemlerinin tarihçesinde önemli bir yere sahiptir. IBM anaçatı bilgisayarları, IBM'in veya üçüncü partilerin ürettiği işletim sistemlerini kullanır.
Axiom, özgür, genel amaçlı bir bilgisayarlı cebir sistemidir. Bir yorumlayıcı ortamı, bir derleyici ve güçlü tipleme hiyerarşisi tanımlayan bir kütüphaneden oluşur.