Search Sciweavers | Sciweavers

29046 search results - page 497 / 5810

» Computable Models

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 »

127

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

Download www.ipdps.org

Guoqiang Li, Xiaojuan Cai, Shoji Yuen

claim paper

Read More »

162

click to vote

SOCA
2010
IEEE

202views Applied Computing» more SOCA 2010»

Compliance scopes: Extending the BPMN 2.0 meta model to specify compliance requirements

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers