Search Sciweavers | Sciweavers

11 search results - page 1 / 3

» adaeurope 2010

click to vote

ADAEUROPE
2010
Springer

230views Software Engineering» more ADAEUROPE 2010»

Static Versioning of Global State for Race Condition Detection

13 years 2 months ago

Download www.disca.upv.es

Steffen Keul

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

232views Software Engineering» more ADAEUROPE 2010»

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

13 years 2 months ago

Download www.disca.upv.es

Sergio Saez, Alfons Crespo

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

231views Software Engineering» more ADAEUROPE 2010»

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

13 years 2 months ago

Download www.disca.upv.es

Alan Burns, Andy J. Wellings

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

13 years 2 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

237views Software Engineering» more ADAEUROPE 2010»

Cache-Aware Development of High-Integrity Systems

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers