Greg A. Woods

http://www.weird.com/~woods/

name to look up. Old Computers Once upon a time (before I moved most recently) I had a small collection of old computers. Well maybe it wasn't all that small.... Sadly most of it

Java Tester - Other Testers

https://javatester.org/othertesters.html

of Windows 10 on computers running Windows 7 and 8: How to manage Windows 10 notification and upgrade options Chose and review your Google privacy settings at https://myaccount.go
Other Testers

SAGE

https://ed-thelen.org/sage-1.html

interconnected set of computers through which everyone could quickly access data and programs from any site. In spirit, the concept was very much like the Internet of today. Lickl

Miller Microcomputer Services - Index Page

http://www.millermicro.com/

World's Top 500 Supercomputers Run Linux , The Cathedral and the Bazaar (Eric Raymond, 1997), The Hacker Spirit at MIT (Richard Stallman, 1999), Open Source And Economics , Math p
Business and pleasure by Dick and Jill Miller of Miller Microcomputer Services.

Home Computing with Texas Instruments

http://stephen.shawweb.co.uk/tihistory.html

calculators, business computers, toys with synthesised speech... 1960: engineers Ramon Alonso and Hal Laning employed at Texas Instruments, designed transistor "computers". The na
A brief history of the Texas Instruments Home Computer

TomF's Tech Blog - It's only pretending to be a wiki.

http://tomforsyth1000.github.io/blog.wiki.html

of the 1940s and 50s computers, that's what they always looked like. No, that's not the Analytical Engine at all. It's not a bag of bolts that some mathematician can show in 200 p

Emergent Technologies Inc. -- Security Kernel</TITLE

http://mumble.net/~jar/pubs/secureos/secureos.html

available on many computers called "user mode". When the processor is in user mode, all dangerous operations are preempted, causing the supervisor program to be invoked.
CADR

Spin - Formal Verification

http://spinroot.com/spin/old.html

should know about computers and communications (published October 2011). Brian Kernighan's latest book, with a general introduction to the digital world, based on his course at Pr
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.

Find more...