Search Sciweavers | Sciweavers

14244 search results - page 83 / 2849

» Modeling Program Predictability

254

click to vote

POPL
2005
ACM

152views Programming Languages» more POPL 2005»

Mutatis mutandis: safe and predictable dynamic software updating

16 years 4 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 »

107

click to vote

ERLANG
2009
ACM

128views Programming Languages» more ERLANG 2009»

Recent improvements to the McErlang model checker

15 years 10 months ago

Download www.erlang-factory.com

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

104

click to vote

ASPLOS
2010
ACM

207views Programming Languages» more ASPLOS 2010»

Implementing the PGI Accelerator model

15 years 10 months ago

Download www12.cs.fau.de

Michael Wolfe

claim paper

Read More »

110

click to vote

ESOP
2007
Springer

136views Programming Languages» more ESOP 2007»

The Java Memory Model: Operationally, Denotationally, Axiomatically

15 years 10 months ago

Download www.pst.ifi.lmu.de

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibi...

claim paper

Read More »

108

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers