Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

IPPS
2009
IEEE

favoriteEmaildiscussreport

109views Distributed And Parallel Com...» more IPPS 2009»

Efficient large-scale model checking

13 years 11 months ago

Efficient large-scale model checking

Download www.cs.vu.nl

Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Br

Real-time Traffic

Distributed And Parallel Computing | IPPS 2009 |

claim paper

Related Content

» Parallel Model Checking LargeScale Genetic Regulatory Networks with DiVinE

» Efficient LargeScale ProcessOriented Parallel Simulations

» Efficient Approximate Balanced Truncation of General LargeScale RLC Systems via Krylov Met...

» Efficient Large Scale Acquisition of Building Interiors

» Efficient Parallel Simulation of LargeScale Neuronal Networks on Clusters of Multiprocesso...

» Approximated Structured Prediction for Learning Large Scale Graphical Models

» Efficient indexing for large scale visual search

» Toward Efficient ServiceLevel QoS Provisioning in LargeScale 80211Based Networks

» Distributed Word Clustering for Large Scale ClassBased Language Modeling in Machine Transl...

» A Methodology for LargeScale Hardware Verification

Post Info
More Details (n/a)

Added	24 May 2010
Updated	24 May 2010
Type	Conference
Year	2009
Where	IPPS
Authors	Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Brim

Comments (0)