Prof. Dr. Guido Salvaneschi | Programming Grouphttps://programming-group.com/members/salvaneschi
proving. In many applications, however, it is necessary to reason about disequality of terms as well as equality. While disequality reasoning can be encoded, direct support for di
Profile of Prof. Dr. Guido Salvaneschi, Head of the Programming Group.
CELF Embedded Linux Conferencehttps://www.embeddedlinuxconference.com/elc_2009/sessions.html
SDK and how to develop applications for Maemo 5. Kate Alhola is the maemo chief engineer in Forum Nokia. Kate is a long term open source developer working at the moment with
Gered's Ramblingshttp://blarg.ca/rss/
some of the practical applications of generating some artwork and videos through the use of AI (even if I may disagree with it personally) just as a means to an end and not at all
The C10K problemhttp://www.kegel.com/c10k.html
Server-Side Applications for Microsoft Windows 2000" ( Amazon , MSPress ), U.S. patent #06223207 , or MSDN . 4. Serve one client with each server thread ... and let read() and wri
My impressionshttp://galexander.org/laptops/mac/impressions.html
On the other hand, most applications really do exist as just a single huge .app folder. That's pretty cool. Kind of obviates the need for package management. MacOS X is an interes
https://www.humprog.org/~stephen/https://www.humprog.org/~stephen/
decentralised Internet applications and their construction radically modular programming software build and deployment infrastructure hybrid program analysis/execution engines big
Directory | An IndieWeb Webringhttps://xn--sr8hvo.ws/directory
building full-stack applications with a focus on backend architecture, distributed systems, and DevOps practices. wcygan.net Will Cygan Senior Software Engineer at LinkedIn buildi
An IndieWeb Webring
GuestArticles index [LWN.net]https://lwn.net/Archives/GuestIndex/
Testing PAM modules and applications in the Matrix (January 13, 2016) Hrubis, Cyril Kernel test automation with LTP (December 17, 2014) Writing Linux Test Project test cases (Janu
Find more...