Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

8 relations
Distributed computingEmbedded systemFormal verificationList 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
This paper is a discussion on the question of ecological validity of virtual reality in the light of three studies that we have… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2016
2016
Visual Hallucination For Computational Creation
Research on computational painters usually focuses on simulating rational parts of the generative process. From an art-historic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
SWAPN: A dream tool for the visually challenged
In this paper, we propose and assess SWAPN, a useful, novel and intelligent dream tool to study the impending multimedia… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Deconstructing the present
It is a common practice for people visiting an archaeological site to imagine what that place could have looked like during the… Expand
Is this relevant?
2010
2010
Timing Analysis of Real-Time Embedded Systems using Model Checking
Modern real-time embedded systems are highly complex and distributed. Timing analysis of these systems is a challenging task… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
Cross-Abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs
This paper introduces the cross-abstraction real-time analysis (Carta) framework for the model-based functional verification and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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
This position paper builds on Ann Carlson’s summary of the results from the Atlanta workshop that has been distributed as… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2003
2003
Tough Mining: The challenges of searching the scientific literature
The standard “front end” for biomedical literature search is MEDLINE and its Entrez query system. Huge, well-managed, and nearly… Expand
  • figure 1
  • figure 2
Is this relevant?
Review
1995
Review
1995
Field Programmable Gate Array (FPGA) Circuits
Field programmable gate arrays (FPGA) are a recently developed family of programmable circuits. Like mask programmable gate… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE