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...
    • MtheK
    • Thread
    • audio cues background task beep dsntoday executable granularity hiding programs notification registry silent running sound startup system tray task scheduler taskbar tweak visual cues win32api windows 7
    • Replies: 3
    • Forum: Windows Help and Support

  2. 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...
    • News
    • Thread
    • abstract correctness data-structure engineering episodes feedback granular granularity machine microsoft programming readable refinement research software software-verification stepwise techniques tools verification
    • Replies: 0
    • Forum: Live RSS Feeds