Back to Results
First PageMeta Content
Application programming interfaces / Parallel computing / Model checking / MPICH / Thread / Message Passing Interface / ISP Formal Verification Tool / Computing / Computer programming / Software


Document Date: 2008-06-14 18:03:24

Open Document

File Size: 125,11 KB

Share Result on Facebook

City

Argonne / DPOR / Cambridge / /

Company

MIT Press / Intel / Model Checking Software / /

Country

United States / /

Currency

pence / /

Event

FDA Phase / /

Facility

MPI library / Computer Science Division Argonne National Laboratory / Computing University of Utah Salt Lake City / /

IndustryTerm

byte-range-locking algorithm / model-checking tool / byte-range-locking protocol / search algorithm / threaded software / depth-first search / random depth-first-search algorithm / scientific computing software / software testing / search depth / /

Organization

MIT / Computing University of Utah Salt Lake City / /

Person

Stephen F. Siegel / Bettina Krammer / Robert Ross / Xiaofang Chen / Steve Barrus / Victor Samofalov / George S. Avrunin / Bob Kuhn / Michael M. Resch / Robert Latham / Orna Grumberg / Robert Palmer / Edmund M. Clarke / Salman Pervez / Cormac Flanagan / T. Clearly / Rajeev Thakur / Robert M. Kirby / Ganesh Gopalakrishnan / Patrice Godefroid / Sergey Zheltov / Yu Yang / Klaus Havelund / Stanislav Bratanov / Guillaume Brat / William Gropp / Jeffrey S. Vetter / Gerard J. Holzmann / /

Position

designer / scheduler / scheduler control the transitions / /

Product

Verisoft / Promela / P0 / P1 / /

ProgrammingLanguage

Java / C / Fortran 90 / Promela / /

ProvinceOrState

Illinois / Utah / Massachusetts / /

Technology

byte-range-locking protocol / DPOR-based algorithm / byte-range-locking algorithm / 64 processors / DPOR algorithm / DPOR-based10scheduling algorithm / Dynamic Partial Order The algorithm / Java / ISP / 2.1 Scheduling Algorithms / same protocol / 2 1522 search algorithm / /

URL

http /

SocialTag