Sciweavers

5235 search results - page 94 / 1047

» Analysis of Multithreaded Programs

107

IWOMP
2010
Springer

109views Programming Languages» more IWOMP 2010»

How to Reconcile Event-Based Performance Analysis with Tasking in OpenMP

15 years 8 months ago

How to Reconcile Event-Based Performance Analysis with Tasking in OpenMP

Download www.ccs.tsukuba.ac.jp

Daniel Lorenz, Bernd Mohr, Christian Rössel, ...

claim paper

Read More »

104

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

14 years 11 months ago

Towards Automatic Analysis of Election Verifiability Properties

Download www.lsv.ens-cachan.fr

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...

claim paper

Read More »

135

Voted

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

14 years 11 months ago

Security Analysis of the MPLS Label Distribution Protocol

Download www.thei3p.org

Daniel Guernsey, Aaron Engel, Jonathan Butts, Suje...

claim paper

Read More »

138

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 7 months ago

Linear Absolute Value Relation Analysis

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Ji Wang, Patrick...

claim paper

Read More »

244

POPL
2007
ACM

113views Programming Languages» more POPL 2007»

Lock allocation

16 years 4 months ago

Lock allocation

Download pho.ucsd.edu

We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Ru...

claim paper

Read More »

« Prev « First page 94 / 1047 Last » Next »