granularity

  1. M

    Windows 7 Win7 Windows Task Scheduler, when running silent, also suppresses sound

    I had found that, to not have my programs visible in the TaskBar (ie: DSNTODAY), I must, in the General Tab, select 'run whether user is logged on or not'. Unfortunately, tho logically, this also seems to apply to sound (ie: the Win32API BEEP and MESSAGEBEEP). When I select 'run only when...
  2. News

    Windows 7 The Verification Corner - Stepwise Refinement

    In this episode of Link Removed, Kuat Yessenov and Link Removed, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, show how a program can be constructed by stepwise refinement. First, a high-level description of the program is given. Then, some...
Back
Top