The following pages link to Paweł T. Wojciechowski (Q902712):
Displaying 9 items.
- Proving opacity of transactional memory with early release (Q902713) (← links)
- (Q1681383) (redirect page) (← links)
- Graph algorithms for DNA sequencing -- origins, current models and the future (Q1681385) (← links)
- G-MAPSEQ -- a new method for mapping reads to a reference genome (Q1692074) (← links)
- Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
- (Q4738212) (← links)
- On Correctness of Dynamic Protocol Update (Q4989033) (← links)
- On Mixing Eventual and Strong Consistency: Bayou Revisited (Q5145257) (← links)
- Programming Languages and Systems (Q5464036) (← links)