Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,305 papers from all fields of science
Search
Sign In
Create Free Account
DREAM (software)
Known as:
DREAM tool
, Distributed Real-time Embedded Analysis Method
, Dream (disambiguation)
The Distributed Real-time Embedded Analysis Method (DREAM) is a platform-independent open-source tool for the verification and analysis of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Distributed computing
Embedded system
Formal verification
List of model checking tools
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
SWAPN: A dream tool for the visually challenged
M. Saravanan
,
Bhavani
,
Dhaksshayani
,
G. Vineet
IEEE Global Humanitarian Technology Conference
2014
Corpus ID: 44721137
In this paper, we propose and assess SWAPN, a useful, novel and intelligent dream tool to study the impending multimedia…
Expand
2011
2011
Deconstructing the present
Suzanne-Marie Psaila
2011
Corpus ID: 193595526
It is a common practice for people visiting an archaeological site to imagine what that place could have looked like during the…
Expand
2009
2009
Cross-Abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs
Gabor Madl
,
S. Pasricha
,
N. Dutt
,
S. Abdelwahed
IEEE Transactions on Industrial Informatics
2009
Corpus ID: 2437695
This paper introduces the cross-abstraction real-time analysis (Carta) framework for the model-based functional verification and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required