Search Sciweavers | Sciweavers

15885 search results - page 531 / 3177

» Strategic Software Engineering

127

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

16 years 1 months ago

Download www.aadl.info

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle...

claim paper

Read More »

138

click to vote

EMSOFT
2009
Springer

104views Software Engineering» more EMSOFT 2009»

Modal interfaces: unifying interface automata and modal specifications

16 years 1 months ago

Download www.irisa.fr

Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...

claim paper

Read More »

158

click to vote

EMSOFT
2009
Springer

115views Software Engineering» more EMSOFT 2009»

An effective synchronization approach for fast and accurate multi-core instruction-set simulation

16 years 1 months ago

Download logos.cs.nthu.edu.tw

Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-S...

claim paper

Read More »

167

click to vote

EMSOFT
2009
Springer

204views Software Engineering» more EMSOFT 2009»

Disk schedulers for solid state drivers

16 years 1 months ago

Download dcslab.hanyang.ac.kr

Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, ...

claim paper

Read More »

126

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers