Search Sciweavers | Sciweavers

14244 search results - page 83 / 2849

» Modeling Program Predictability

click to vote

POPL
2005
ACM

152views Programming Languages» more POPL 2005»

Mutatis mutandis: safe and predictable dynamic software updating

14 years 9 months ago

Download www.cl.cam.ac.uk

Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...

Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...

claim paper

Read More »

click to vote

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

14 years 3 months ago

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

click to vote

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

14 years 3 months ago

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

click to vote

ESOP
2007
Springer

136views Programming Languages» more ESOP 2007»

The Java Memory Model: Operationally, Denotationally, Axiomatically

14 years 3 months ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers