Sciweavers

19367 search results - page 357 / 3874
» Fine-Grain Process Modelling
Sort
View
PPOPP
2012
ACM
14 years 22 hour ago
Massively parallel breadth first search using a tree-structured memory model
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
Tom St. John, Jack B. Dennis, Guang R. Gao
MODELS
2009
Springer
15 years 11 months ago
Incremental Model Synchronization for Efficient Run-Time Monitoring
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
MODELS
2009
Springer
15 years 11 months ago
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration
Basil Becker, Holger Giese, Stefan Neumann, Martin...
ENTCS
2008
127views more  ENTCS 2008»
15 years 4 months ago
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE is a process algebra developed to model hybrid systems
Vashti Galpin, Jane Hillston, Luca Bortolussi