Sciweavers

3119 search results - page 124 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
DT
2006
180views more  DT 2006»
14 years 10 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...
ICC
2007
IEEE
15 years 4 months ago
Multiple-Access Slightly Frequency-Shifted Reference Ultra-Wideband Communications for Dense Multipath Channels
Abstract— The design of ultra-wideband (UWB) communication systems has proven to be challenging. Coherent systems require a rake receiver with many taps that is difficult to tra...
Qu Zhang, Dennis Goeckel
ICSE
2008
IEEE-ACM
15 years 10 months ago
Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
Holger Scherl, Stefan Hoppe, Markus Kowarschik, Jo...
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
14 years 8 months ago
A proposal for real-time interfaces in SPEEDS
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
Purandar Bhaduri, Ingo Stierand
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 1 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann