Back to Results
First PageMeta Content
Freedesktop.org / XCB / Inter-process communication / X Window System core protocol / Xlib / X Window System protocols and architecture / Thread / Futures and promises / V / Software / Computing / System software


X Meets Z: Verifying Correctness In The Presence Of POSIX Threads Bart Massey Computer Science Department Portland State University Portland, Oregon USA 97207–0751
Add to Reading List

Document Date: 2003-10-22 17:11:56

Open Document

File Size: 88,33 KB

Share Result on Facebook

Company

Robert Bauer Rational Software Corporation / /

/

Event

FDA Phase / /

Facility

State University / /

IndustryTerm

thread scheduling algorithm / pseudo-code algorithms / freely-available software construction / software engineers / realistic software / response processing task / client side software / wire protocol / experienced software engineers / correct processing / freely-available software / software systems / /

OperatingSystem

UNIX / Solaris / Linux / POSIX / /

Organization

MIT / Presence of POSIX Threads Bart Massey Computer Science Department Portland State University Portland / /

/

Position

pending writer / distinguished writer / Writer / second worker / current writer / nevents cur writer / type WORKER / writer worker / worker thread cur writer / current reader worker / cur writer / XCB Writer / /

Product

MS01 / /

ProgrammingLanguage

Z notation / C / /

Technology

Linux / UNIX / wire protocol / API / thread scheduling algorithm / X Window System / desired algorithm / pseudo-code algorithms / X server / GUI / /

SocialTag