Prof. Dr. Guido Salvaneschi | Programming Grouphttps://programming-group.com/members/salvaneschi
IEEE Transactions on Computers Elsevier Journal of Computer Languages Elsevier Knowledge-based Engineering IEEE Internet Computing ACM Transactions on Autonomous and Adaptive Syst
Profile of Prof. Dr. Guido Salvaneschi, Head of the Programming Group.
PET index - Transfer files to the PET and backhttp://www.6502.org/users/andre/petindex/transfer.html
all 8-bit Commodore computers that are equipped with a cassette interface (PET series, VIC-20, C64, C128, 264 series, PET-II series) and any computer that has a 38400 bps RS-232 i
PET index - Transfer files to the PET and back
Internet Term Guidehttp://webarchive.me/geocities/SiliconValley/5598/talk.html
gain illegal access to computers. They are usually malicious in their intentions. Cyberspace The "world of computers and the society that gathers around them," as referr
Herb's S-100 Stuffhttp://www.retrotechnology.com/herbs_stuff/s100.html
IEEE-696 systems are computers from 1975 and through the 1980's which have a specific kind of 100-pin computer "bus" for their cards . For many years I've provided assistance, har
What Unix Gets Righthttp://www.catb.org/esr/writings/taoup/html/ch01s05.html
a heterogeneous mix of computers, vendors, and special-purpose hardware. It is the only operating system that can scale from embedded chips and handhelds, up through desktop machi
NLnet; Current projectshttps://nlnet.nl/project/current.html
ARM-based single board computers AtomicServer Local-First AtomicServer Local-First Headless CMS Authlib Reliable OAuth and OIDC handling in Python Automated clearing of source cod
Hobbes' Internet Timeline - the definitive ARPAnet & Internet historyhttps://www.zakon.org/robert/internet/timeline/
network of time-sharing computers" TX-2 at MIT Lincoln Lab and AN/FSQ-32 at System Development Corporation (Santa Monica, CA) are directly linked (without packet switches) via a d
'An Internet timeline highlighting the key events and technologies that helped shape the Internet as we know it today.'
Spin - Formal Verificationhttp://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.
NLnet; All projectshttps://nlnet.nl/project/
ARM-based single board computers ARMify NGI0 Entrust 2023 2025 Auto-Identification of MCU Models to Simplify ARM Bare-Metal Reverse Engineering ARPA2 2017 Working towards a decent
https://www-users.cse.umn.edu/~odlyzko/doc/decline.txthttps://www-users.cse.umn.edu/~odlyzko/doc/decline.txt
instruction set computers) is an example of unfettered research, in that IBM allowed him to work on whatever he chose. However, Cocke had already made valuable contributions to th
1401Restoration-CHMhttps://ibm-1401.info/
1969s Vintage Computers at the Computer History Museum," Robert Garner, Making IT Work Conference, British Computer Society, London, May 22-23, 2017 Conference presentation Procee
https://atariage.com/2600/faq/?SystemID=2600https://atariage.com/2600/faq/?SystemID=2600
Blip Electronic Fun w/ Computers and Games Electronic Games Joystik (Many complete issues are at stormaster and indexed at neonghost . TV Gamer (UK) (not to be confused with the n
Find more...