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

14 years 10 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

14 years 10 months ago

Download www.disca.upv.es

Sergio Saez, Alfons Crespo

claim paper

Read More »

Voted

ADAEUROPE
2010
Springer

231views Software Engineering» more ADAEUROPE 2010»

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

14 years 10 months ago

Download www.disca.upv.es

Alan Burns, Andy J. Wellings

claim paper

Read More »

Voted

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

14 years 10 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

Voted

ADAEUROPE
2010
Springer

237views Software Engineering» more ADAEUROPE 2010»

Cache-Aware Development of High-Integrity Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers