Sciweavers

1304 search results - page 53 / 261
» RTOS Modeling for System Level Design
Sort
View
DATE
2005
IEEE
104views Hardware» more  DATE 2005»
15 years 9 months ago
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC
In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to operate at systemlevel. We present a UML 2.0 profile of the SystemC language expl...
Elvinia Riccobene, Patrizia Scandurra, Alberto Ros...
DAWAK
2006
Springer
15 years 7 months ago
Integrating Different Grain Levels in a Medical Data Warehouse Federation
Healthcare organizations practicing evidence-based medicine strive to unite their data resources in order to achieve a wider knowledge base for sophisticated research and matured d...
Marko Banek, A. Min Tjoa, Nevena Stolba
EATIS
2007
ACM
15 years 7 months ago
A methodology to design information retrieval systems (MDIRS)
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
João Ferreira, Alberto Silva, José D...
145
Voted
DAC
2007
ACM
16 years 4 months ago
Energy-Aware Data Compression for Multi-Level Cell (MLC) Flash Memory
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...
Yongsoo Joo, Youngjin Cho, Donghwa Shin, Naehyuck ...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund