Search Sciweavers | Sciweavers

265 search results - page 10 / 53

» entcs 2007

click to vote

ENTCS
2007

86views more ENTCS 2007»

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

14 years 10 months ago

Download www.ki.informatik.uni-frankfurt.de

Joachim Niehren, David Sabel, Manfred Schmidt-Scha...

claim paper

Read More »

click to vote

ENTCS
2007

85views more ENTCS 2007»

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

14 years 10 months ago

Download www-sop.inria.fr

Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfr...

claim paper

Read More »

click to vote

ENTCS
2007

85views more ENTCS 2007»

Automatic Verification of Bossa Scheduler Properties

14 years 10 months ago

Download www.diku.dk

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall...

claim paper

Read More »

click to vote

ENTCS
2007

84views more ENTCS 2007»

Prototype Platforms for Distributed Agreements

14 years 10 months ago

Download www.di.unipi.it

Alberto Baragatti, Roberto Bruni, Hernán C....

claim paper

Read More »

click to vote

ENTCS
2007

73views more ENTCS 2007»

Towards the Integration of Visual and Formal Models for GUI Testing

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers