Browse by Tags

Tagged Content List
  • Blog Post: Überprüfung auf Korrektheit: Wie eine Problemstellung aus der theoretischen Informatik die Welt verändern kann

    Hi… ich habe vor Jahren in einem Projekt mitgearbeitet bei dem es um eine Überprüfung der Funktion von Software ging. In meinem Falle ging es um die Genehmigung Kernkraftwerke steuern zu dürfen. Klingt erstmal dramatisch, ist aber technisch nicht so kompliziert wie zum Beispiel ein Flugzeug. Wenn die...
  • Blog Post: Small Basic… how cool is this…

    Hi… I observed this tool quite some time now and it convinces me more every day. First download it and try it yourself: http://msdn.microsoft.com/en-us/devlabs/cc950524.aspx What you will find is an easy to use development environment with some very compelling features. Here is my favourite: Intellisense...
  • Blog Post: MS Research

    Hi... if you are interested in research in the field of software there is a must see: http://channel9.msdn.com/pdc2008/KYN04/ It is Rick Rashid's keynote at the PDC... Wuha, did I mention that I dream of working in MSR?? CU 0xff
  • Blog Post: Microsoft in Germany – the EMIC

    Hi… since 2003 we have a research and development facility in Aachen here in Germany. It is called EMIC and Lori just visited those guys to get a glimpse of what they do. You can find the videos on Channel9 in Lori’s section: http://channel9.msdn.com/Niners/Lori/ It is interesting to see in which fields...
  • Blog Post: Slides of Hasso-Plattner-Institute Talk

    Hi… I just did a talk of Server computing (as a replacement of my manager) and you can find the slides here: www.cu-0xff.de/downloads/Hpi_public.pptx The slides are a mixture of German and English… CU 0xff
  • Blog Post: Everybody can be Part of the Media Selling Industry

    Hi... this paper might contain some explosives: ftp://ftp.research.microsoft.com/pub/tr/TR-2007-167.pdf The basic idea is "The platform aims to enable selling digital content by any- one, anywhere, and anytime"... ??? The system works by having two trusted devices (players) which can exchange media content...
  • Blog Post: Beyond Search - Sematic Computing...

    Hi... Microsoft Research and Microsoft adCenter recently announced the 20 winners in an Award called "Beyond Search – Semantic Computing and Internet Economics Awards" . The award had rewards around a million US$. (not that bad). http://research.microsoft.com/ur/us/fundingopps/RFPs/beyondSearchAwards...
  • Blog Post: Transistors switching light...

    Hi... researchers made a "transistor" able to use a single photon (input) to amplify a stream of light (output). This sounds like nothing special first but it could open the door for faster and less power consuming computers. http://spectrum.ieee.org/aug07/5497 CU 0xff
  • Blog Post: Pass a Turing Test and Find a Friend for Live

    Hi... we all know services (like Hotmail for example) which require to identify the person behind the client to be a human being. I would call it a Turing test, others call it a CAPTCHA (Complete Automated Public Turing test to tell Computers and Humans Apart). We all know those quirky collections of...
  • Blog Post: What do you need for an SMS server??

    Hi... SMS (or Short Message Service, not the System Management Server, sorry) is very popular. I heard that some youngster are able to type SMS in the pocket of their trousers while talking to somebody else on another topic (must be females because of reasons we all know regarding Multi-Processing)....
  • Blog Post: Microsoft Research Video about Software in the 21st Century

    Hi... I found a nice video about the Research which is done in Cambridge. See the original page here http://research.microsoft.com/aboutmsr/videos/cambridge.aspx It is nearly 29 minutes long but gives a nice intro. CU 0xff
  • Blog Post: Is the hardware too fast for the software??

    Hi... not I am not relating to the times when certain runtime enviroments stalled because they were measuring the CPU by counting ticks in a certain amount of time and got an overflow in the counter... I am relating to an industry workshop done by the Purdue University (see here http://www.cri...
Page 1 of 1 (12 items)