Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures | PERPUSTAKAAN UNIVERSITAS KATOLIK PARAHYANGAN

Pencarian berdasarkan :

Pencarian terakhir:

Text

Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures

Lu Zhang - Nama Orang; Chattopadhyay, Arijit - Nama Orang; Chao Wang - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Barcode		Tipe Koleksi	Nomor Panggil	Lokasi	Status
art116315	null	Artikel		Gdg9-Lt3	Tersedia namun tidak untuk dipinjamkan - No Loan

Informasi Detail

Judul Seri: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Vol.41 No.10-12 October-December 2015
No. Panggil: -
Penerbit: : .,
Deskripsi Fisik: p.1202-1216
Bahasa: English
ISBN/ISSN: -
Klasifikasi: -
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: ATOMICITY
RUNTIME VERIFICATION
LINEARIZABILITY
SERIALLIZABILITY
RELAXED CONSISTENCY
SYSTEMATIC CONCURRENCY TESTING
PARTIAL ORDER REDUCTION
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Lu Zhang, Arijit Chattopadhyay, Chao Wang

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar