Sciweavers

14515 search results - page 196 / 2903
» Efficient Embedded Computing
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 2 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
124
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
SAT: A Stream Architecture Template for Embedded Applications
- The increase of embedded applications complexity has demanded hardware more flexible while providing higher performance. Reconfigurable architectures and stream processing have b...
Qianming Yang, Nan Wu, Mei Wen, Yi He, Huayou Su, ...
118
Voted
ICIP
2007
IEEE
16 years 4 months ago
Fast Interframe Transcoding from H.264 to MPEG-2
This paper deals with conversion from H.264/AVC (Advanced Video Coding) coded video into the MPEG-2 format. The proposed approach exploits similarities between the coding techniqu...
Antonio Navarro 0002, Pedro A. Amado Assunç...
CORR
2008
Springer
117views Education» more  CORR 2008»
15 years 2 months ago
Robust Stochastic Chemical Reaction Networks and Bounded Tau-Leaping
The behavior of some stochastic chemical reaction networks is largely unaffected by slight inaccuracies in reaction rates. We formalize the robustness of state probabilities to re...
David Soloveichik
113
Voted
DAC
2005
ACM
16 years 3 months ago
Fine-grained application source code profiling for ASIP design
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
Kingshuk Karuri, Mohammad Abdullah Al Faruque, Ste...