- DREAM (software)
The Distributed Real-time Embedded Analysis Method (DREAM) is a platform-independent open-source tool for the verification and analysis of distributed real-time and embedded (DRE) systems which focuses on the practical application of formal verification and timing analysis to real-time middleware. DREAM supports formal verification of scheduling based on task timed automata using the Uppaal model checker and the Verimag IF toolset as well as the random testing of real-time components using a discrete event simulator. DREAM is developed at the Center for Embedded Computer Systems at the University of California, Irvine, in cooperation with researchers from Vanderbilt University.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Dream DRM Receiver — Dream is a popular GPL licensed open source software implementation of a Digital Radio Mondiale (DRM) receiver that runs on FreeBSD, Linux, Apple Mac OS X and Microsoft Windows. Most inexpensive shortwave receivers sold commercially can be used… … Wikipedia
DREAM — may refer to:* DREAM (software), a tool for the verification and analysis of distributed real time and embedded (DRE) systems * DREAM (protocol), an ad hoc geographical data routing protocol * DREAM (AIDS therapy program), an AIDS therapy program … Wikipedia
Dream (disambiguation) — A dream is an experience during sleep. Dream may also refer to: Contents 1 General use 2 Art 3 Compani … Wikipedia
Dream Theory in Malaya: Fourth World Volume Two — Dream Theory in Malaya Studio album by Jon Hassell Released 1981 … Wikipedia
Dream House (video game) — Screenshot of Dream House Publisher(s) CBS Electronics Designer(s) … Wikipedia
Dream Zone — Developer(s) JAM software Publisher(s) Baudville … Wikipedia
Software-defined radio — A Software Defined Radio (SDR) system is a radio communication system where components that have typically been implemented in hardware (i.e. mixers, filters, amplifiers, modulators/demodulators, detectors. etc.) are instead implemented using… … Wikipedia
Dream Weaver — This article is about the song. For the web development software, see Adobe Dreamweaver. For other uses, see Dreamweaver (disambiguation). Dream Weaver Single by Gary Wright from the album The Dream Weaver B side … Wikipedia
dream up — verb devise or invent (Freq. 3) He thought up a plan to get rich quickly no one had ever thought of such a clever piece of software • Syn: ↑think up, ↑think of, ↑hatch, ↑concoct • De … Useful english dictionary
Dream Multimedia — DM7000 S Frontansicht Dreambox ist die Bezeichnung für die DVB Receiver der in Lünen ansässigen Firma Dream Multimedia GmbH. Es gibt die Receiver in verschiedenen Versionen: DM 500(+), DM 5600, DM 5620, DM 600 PVR, DM 7000, DM 7020, DM 7025(+),… … Deutsch Wikipedia