Learn More
Image compression algorithms convert high-resolution images into a relatively small bit streams in effect turning a large digital data set into a substantially smaller one. This article introduces compressive sampling and recovery using convex programming.
  • Jan Romberg
  • 2007 2nd IEEE International Workshop on…
  • 2007
Several recent results in compressive sampling (CS) show that a sparse signal (i.e. one which can be compressed in a known orthobasis) can be efficiently acquired by taking linear measurements against random test functions. In practice, however, it is difficult to build sensing devices which take these types of measurements. In this paper, we will show how(More)
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development of automotive control software, based on problem-specific design notations with an explicit formal foundation. Based on the existing AutoFOCUS framework, a tool(More)
This paper describes the first results from the AutoMoDe project (Automotive Model-based Development), where an integrated methodology for model-based development of automotive control software is being developed. The results presented include a number of problem-oriented graphical notations, based on a formally defined operational model, which are(More)
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time semantics and deterministic concurrency reduce the state-space of parallel designs, and the engineer's intuition of uniformly progressing physical time is clearly reflected.(More)
Models: A model should contain only those aspects needed to support the development phase they are applied for (e.g., modeling the interaction between components by messages rather then method calls to the bus driver or the operating system). By abstraction a model reduce the complexity of description as much as possible as well as the possibility to(More)
State-of-the-art software development increasingly relies on describing the system (or software) graphically, abstracting from an actual implementation platform, and supporting to generate an executable system out of the model. Similarly, in electrical engineering often graphically represented models are used to describe the controlled system including its(More)
Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen und schrittweise Übergänge zwischen diesen Ebenen notwendig. Neben der Definition geeigneter Ebenen werden zur Unterstützung echtzeitkritischer Systemanteile ein einheitliches(More)
The electronic components in present-day automobiles are based on networks of electronic control units (ECU) running embedded software. The development of distributed, concurrent software applications based on such ECU networks is becoming increasingly complex and error-prone. In current practice, system-level views of the network are merely used to(More)