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
  • 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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
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
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
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
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
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
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, Terms of Service, and Dataset License
ACCEPT & CONTINUE