Sciweavers

5239 search results - page 686 / 1048
» Model-Integrated Embedded Systems
Sort
View
RTCSA
2007
IEEE
16 years 1 months ago
A Flexible Real-Time Locking Protocol for Multiprocessors
Real-time scheduling algorithms for multiprocessor systems have been the subject of considerable recent interest. For such an algorithm to be truly useful in practice, support for...
Aaron Block, Hennadiy Leontyev, Björn B. Bran...
SMC
2007
IEEE
151views Control Systems» more  SMC 2007»
16 years 1 months ago
Growing recurrent self organizing map
— The growing Recurrent Self-Organizing Map (GRSOM) is embedded into a standard Self-Organizing Map (SOM) hierarchy. To do so, the KDD benchmark dataset from the International Kn...
Ozge Yeloglu, A. Nur Zincir-Heywood, Malcolm I. He...
ICESS
2007
Springer
16 years 28 days ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
ICFEM
2007
Springer
16 years 28 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
SAMOS
2007
Springer
16 years 27 days ago
High-Bandwidth Address Generation Unit
In this paper we describe an efficient data fetch circuitry for retrieving several operands from a n-bank interleaved memory system in a single machine cycle. The proposed address ...
Humberto Calderon, Carlo Galuzzi, Georgi Gaydadjie...