Sciweavers

991 search results - page 30 / 199
» MetaCore: An Application Specific DSP Development System
Sort
View
CASES
2005
ACM
15 years 6 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
EDOC
2006
IEEE
15 years 10 months ago
Requirements Traceability and Transformation Conformance in Model-Driven Development
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...
João Paulo A. Almeida, Pascal van Eck, Mari...
WER
2005
Springer
15 years 9 months ago
A Process for Requirement Traceability in Agent Oriented Development
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
Rosa Candida Pinto, Carla T. L. L. Silva, Jaelson ...
SDL
2001
125views Hardware» more  SDL 2001»
15 years 5 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
ASAP
2008
IEEE
145views Hardware» more  ASAP 2008»
15 years 10 months ago
An MPSoC architecture for the Multiple Target Tracking application in driver assistant system
This article discusses the design of an application specific MPSoC architecture dedicated to Multiple Target Tracking (MTT). This application has its utility in driver assistant s...
Jehangir Khan, Smaïl Niar, Atika Rivenq, Yass...