Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,921,003 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.
2017
2017
Ecological Validity of Virtual Reality: Three Use Cases
A. Paljic
ICIAP Workshops
2017
Corpus ID: 12825971
This paper is a discussion on the question of ecological validity of virtual reality in the light of three studies that we have…
Expand
2016
2016
Visual Hallucination For Computational Creation
L. Berov
,
Kai-Uwe Kühnberger
International Conference on Innovative Computing…
2016
Corpus ID: 18675616
Research on computational painters usually focuses on simulating rational parts of the generative process. From an art-historic…
Expand
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
2010
2010
Timing Analysis of Real-Time Embedded Systems using Model Checking
Vallabh Anwikar
,
Purandar Bhaduri
2010
Corpus ID: 15203790
Modern real-time embedded systems are highly complex and distributed. Timing analysis of these systems is a challenging task…
Expand
2009
2009
Cross-Abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs
G. 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
2006
2006
Organization for Economic Co-operation and Development: Global Science Forum Workshop on Science of Science Policy: Developing our Understanding of Public Investments in Science
Helsinki Finland
,
K. Börner
2006
Corpus ID: 111936468
This position paper builds on Ann Carlson’s summary of the results from the Atlanta workshop that has been distributed as…
Expand
Review
1995
Review
1995
Field Programmable Gate Array (FPGA) Circuits
E. Sanchez
Towards Evolvable Hardware
1995
Corpus ID: 21959286
Field programmable gate arrays (FPGA) are a recently developed family of programmable circuits. Like mask programmable gate…
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