Jet Propulsion Laboratory / Eindoven University of Technology / California Institute of Technology / / /
IndustryTerm
optimized multi-core solution / larger applications / stack-slicing algorithm / partial order reduction algorithm / model checking algorithm / search process / multi-core solutions / depth-first search stack / depth-first search tree / dual-core and multi-core systems / nested search / leader election algorithm / flash file system software / multi-core systems / verification tools / search mode / breadth-first search / opensource software tool / window protocol / distributed model checking algorithms / multi-core shared-memory systems / multi-core solution / Dual-core and quad-core systems / multi-core verification algorithms / search stack / depth-first search stack starting / multi-cpu systems / dual-core infrastructure / search algorithm / maximum search depth / call processing application / model checking tools / generalized mutual exclusion algorithm / multicore algorithms / parallel search / autonomous planning software / multi-core search algorithm / large applications / depth-first search / search queue / nested depth-first search / nested depth-first search algorithm / dual-core nested depth-first search / search / embedded software / search tree / multi-core algorithms / asynchronous software systems / multi-core algorithm / extended model checking algorithm / distributed model checking algorithm / dual-core systems / breadth-first search algorithm / search effort / model checking algorithms / search depth / /
MarketIndex
TSE / /
MusicGroup
RAM / /
OperatingSystem
Ubuntu / /
Organization
California Institute of Technology / Laboratory for Reliable Software / Eindoven University of Technology / NASA’s EO1 mission / National Aeronautics and Space Administration / European Union / / /
Position
Model Leader / first author / second author / writer / representative / /
TSE[removed]The Design of a Multi-Core Extension of the SPIN Model Checker