Sciweavers

1675 search results - page 38 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
CODES
1999
IEEE
15 years 7 months ago
An MPEG-2 decoder case study as a driver for a system level design methodology
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
Pieter van der Wolf, Paul Lieverse, Mudit Goel, Da...
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 8 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
ATAL
2003
Springer
15 years 8 months ago
Integrating evolutionary computing and the SADDE methodology
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
Carles Sierra, Jordi Sabater, Jaume Agustí-...
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 10 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
AIED
2009
Springer
15 years 9 months ago
Structuring Learning/Instructional Strategies through a State-based Modeling
This study, through the ontological engineering approach, aims at building a conceptual basis that encourages instructional designers in better understanding of learning/instructio...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...