Search Sciweavers | Sciweavers

9698 search results - page 130 / 1940

» models 2010

139

click to vote

ICPADS
2010
IEEE

145views Distributed And Parallel Com...» more ICPADS 2010»

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

15 years 4 months ago

Download www.memics.cz

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

claim paper

Read More »

137

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 4 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

126

click to vote

IPPS
2010
IEEE

123views Distributed And Parallel Com...» more IPPS 2010»

Modeling bounds on migration overhead for a traveling thread architecture

15 years 4 months ago

Download www.ipdps.org

Patrick Anthony La Fratta, Peter M. Kogge

claim paper

Read More »

137

click to vote

IPPS
2010
IEEE

123views Distributed And Parallel Com...» more IPPS 2010»

Efficient traffic simulation using the GCA model

15 years 4 months ago

Download www.ipdps.org

Christian Schäck, Rolf Hoffmann, Wolfgang Hee...

claim paper

Read More »

131

click to vote

IPPS
2010
IEEE

113views Distributed And Parallel Com...» more IPPS 2010»

Modeling and analysis of real -time systems with mutex components

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers