2324 search results - page 147 / 465 » Benchmark Generation Using Domain Specific Modeling |
ATAL
2008
Springer
15 years 4 days ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
81
Voted
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
TC
2011
14 years 4 months ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
IADIS
2008
14 years 11 months ago
2008
Using open e-learning platforms as a tool to support the learning process has become an international tendency. Specially, in order to motivate the achievement of desired competen...
UAI
2008
14 years 11 months ago
2008
Although fully generative models have been successfully used to model the contents of text documents, they are often awkward to apply to combinations of text data and document met...