5434 search results - page 315 / 1087 » Tool support for MOLA |
233
click to vote
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
15 years 1 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
177
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
Nucleation phenomena play a pivotal role in many atmospheric and technological processes. However, understanding atmospheric nucleation processes has been difficult due to the lac...
164
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
155
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...
156
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Read, write, and navigation awareness allow users of a multi-view collaborative editor to get fine-grained information about whether others are reading what they are editing, w...