Sciweavers

4716 search results - page 15 / 944

» Iterative-free program analysis

128

IWOMP
2010
Springer

109views Programming Languages» more IWOMP 2010»

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

15 years 9 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 »

123

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

15 years 20 days 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 »

156

IFIP
2010
Springer

175views Programming Languages» more IFIP 2010»

Security Analysis of the MPLS Label Distribution Protocol

15 years 20 days ago

Security Analysis of the MPLS Label Distribution Protocol

Download www.thei3p.org

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

claim paper

Read More »

166

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 9 months ago

Linear Absolute Value Relation Analysis

Download www.di.ens.fr

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

claim paper

Read More »

168

ICLP
2003
Springer

99views Automated Reasoning» more ICLP 2003»

Termination Analysis with Types Is More Accurate

15 years 11 months ago

Termination Analysis with Types Is More Accurate

Download personnel.univ-reunion.fr

Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...

Vitaly Lagoon, Frédéric Mesnard, Pet...

claim paper

Read More »

« Prev « First page 15 / 944 Last » Next »