Search Sciweavers | Sciweavers

16725 search results - page 624 / 3345

» Engineering Software Correctness

141

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 »

163

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 »

173

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 »

134

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

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

144

click to vote

OSS
2009
Springer

126views Software Engineering» more OSS 2009»

"Peeling the Onion"

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers