Sciweavers

3901 search results - page 30 / 781

» software 2008

30

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

Separation Logic Contracts for a Java-Like Language with Fork/Join

14 years 29 days ago

Separation Logic Contracts for a Java-Like Language with Fork/Join

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

28

ARCS
2008
Springer

80views Software Engineering» more ARCS 2008»

High Performance Multigrid on Current Large Scale Parallel Computers

14 years 29 days ago

High Performance Multigrid on Current Large Scale Parallel Computers

Download www10.informatik.uni-erlangen.de

Tobias Gradl, Ulrich Rüde

claim paper

Read More »

30

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

14 years 28 days ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

31

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

14 years 28 days ago

Aspect-Oriented Approach to Operating System Development Empirical Study

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

25

FASE
2008
Springer

86views Software Engineering» more FASE 2008»

Orthographic Modeling Environment

14 years 21 days ago

Orthographic Modeling Environment

Download d3s.mff.cuni.cz

Colin Atkinson, Dietmar Stoll

claim paper

Read More »

« Prev « First page 30 / 781 Last » Next »