CIVL the concurrency intermediate verification language

There are many ways to express parallel programs: message-passing libraries (MPI) and multithreading/GPU language extensions such as OpenMP, Pthreads, and CUDA, are but a few. This multitude creates a serious challenge for developers of software verification tools: it takes enormous effort to develo...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis s. 1 - 12
Hlavní autoři:	Siegel, Stephen F., Zheng, Manchun, Luo, Ziqing, Zirkel, Timothy K., Marianiello, Andre V., Edenhofner, John G., Dwyer, Matthew B., Rogers, Michael S.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 15.11.2015
Edice:	ACM Conferences
Témata:	Computing methodologies > Symbolic and algebraic manipulation Concurrent computing Government Graphics processing units Hardware > Hardware validation > Functional verification > Assertion checking Libraries Message systems Model checking Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software notations and tools > General programming languages > Language types > Concurrent programming languages Software and its engineering > Software notations and tools > General programming languages > Language types > Distributed programming languages Software and its engineering > Software notations and tools > General programming languages > Language types > Parallel programming languages Software and its engineering > Software organization and properties > Software functional properties > Formal methods Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking Theory of computation > Logic > Verification by model checking Theory of computation > Models of computation > Abstract machines Theory of computation > Semantics and reasoning > Program reasoning > Abstraction Theory of computation > Semantics and reasoning > Program reasoning > Assertions CUDA intermediate representation model checking OpenMP MPI symbolic execution program transformation pthreads parallel programming verification concurrency
ISBN:	1450337236, 9781450337236
ISSN:	2167-4337
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!