Search Sciweavers | Sciweavers

31387 search results - page 118 / 6278

» Abstracts

122

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

16 years 29 days ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...

claim paper

Read More »

151

click to vote

FMICS
2009
Springer

104views Formal Methods» more FMICS 2009»

Preemption Abstraction

16 years 29 days ago

Download www.cs.ru.nl

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...

claim paper

Read More »

134

click to vote

FMN
2009
Springer

82views Multimedia» more FMN 2009»

OASIS: An Overlay Abstraction for Re-architecting Large Scale Internet Group Services

16 years 29 days ago

Download page.mi.fu-berlin.de

Matthias Wählisch, Thomas C. Schmidt, Georg W...

claim paper

Read More »

131

click to vote

FORMATS
2009
Springer

92views Formal Methods» more FORMATS 2009»

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

16 years 29 days ago

Download groups.csail.mit.edu

Shinya Umeno

claim paper

Read More »

149

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

16 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers