Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 9

1. Ganesh Gopalakrishnan, John O'Leary
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:1-4 [Journal]
   
2. Arndt Mühlenfeld, Franz Wotawa
   Fault Detection in Multi-Threaded C++ Server Applications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:5-22 [Journal]
   
3. Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte
   A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:23-47 [Journal]
   
4. Robert P. Cook
   Thread Verification - An Experience Report. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:49-61 [Journal]
   
5. Lisa Higham, LillAnne Jackson, Jalal Kawash
   What is Itanium Memory Consistency from the Programmer's Point of View? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:63-84 [Journal]
   
6. Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
   Modular Checkpointing for Atomicity. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:85-115 [Journal]
   
7. Jan-Willem Maessen, Arvind
   Store Atomicity for Transactional Memory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:117-137 [Journal]
   
8. John Regehr, Nathan Cooprider
   Interrupt Verification via Thread Verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:139-150 [Journal]
   
9. Shady Copty, Shmuel Ur
   Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:151-165 [Journal]