Sciweavers

15777 search results - page 158 / 3156

» Engineering in Software

108

Voted

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

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

15 years 5 months 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 »

110

Voted

ARCS
2008
Springer

80views Software Engineering» more ARCS 2008»

High Performance Multigrid on Current Large Scale Parallel Computers

15 years 5 months 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 »

115

Voted

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 5 months ago

Model Checking of Control-User Component-Based Parametrised Systems

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

95

Voted

CISSE
2008
Springer

135views Software Engineering» more CISSE 2008»

Aspect-Oriented Approach to Operating System Development Empirical Study

15 years 5 months ago

Aspect-Oriented Approach to Operating System Development Empirical Study

Download www.informatics.org.cn

Jaakko Kuusela, Harri Tuominen

claim paper

Read More »

112

Voted

ASWSD
2006
Springer

278views Software Engineering» more ASWSD 2006»

Modeling with the Timing Definition Language (TDL)

15 years 5 months ago

Modeling with the Timing Definition Language (TDL)

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

« Prev « First page 158 / 3156 Last » Next »