Titel

Merkliste
1 Ergebnisse

Practical verification of high-level dataraces in transacti..:

, In: Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging,

Pessanha, Vasco ; Dias, Ricardo J. ; Lourenço, João M... - p. 26-34 , 2011

Link: https://dl.acm.org/doi/10.1145/2002962.2002968

RT 
T1 <cTitle>Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging</cTitle>: T1 <Title>Practical verification of high-level dataraces in transactional memory programs</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2002968&Exemplar=1&LAN=DE
				
A1 Pessanha, Vasco
A1 Dias, Ricardo J.
A1 Lourenço, João M.
A1 Farchi, Eitan
A1 Sousa, Diogo
PB ACM
YR 2011
K1 concurrency
K1 software transactional memory
K1 static analysis
K1 testing
K1 verification
K1 Software and its engineering
K1 Software creation and management
K1 Software development process management
K1 Designing software
K1 Software implementation planning
K1 Software design techniques
K1 Computing methodologies
K1 Parallel computing methodologies
K1 Parallel programming languages
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Software verification and validation
SP 26
OP 34
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2002962.2002968
DO https://dl.acm.org/doi/10.1145/2002962.2002968
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)