Sciweavers

881 search results - page 17 / 177
» Specification and Design Considerations for Reliable Embedde...
Sort
View
ICIP
2001
IEEE
14 years 8 months ago
Study of embedded font context and kernel space methods for improved videotext recognition
Videotext refers to text superimposed on video frames. A videotext based Multimedia Description Scheme has recently been adopted into the MPEG-7 standard. A study of published wor...
Chitra Dorai, Hrishikesh Aradhye, Jae-Chang Shim
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
13 years 6 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
ICCD
2003
IEEE
140views Hardware» more  ICCD 2003»
14 years 3 months ago
Cost-Efficient Memory Architecture Design of NAND Flash Memory Embedded Systems
NAND flash memory has become an indispensable component in embedded systems because of its versatile features such as non-volatility, solid-state reliability, low cos,t and high d...
Chanik Park, Jaeyu Seo, Dongyoung Seo, Shinhan Kim...
FM
2008
Springer
184views Formal Methods» more  FM 2008»
13 years 8 months ago
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
Thierry Lecomte
ICPP
2000
IEEE
13 years 10 months ago
A Problem-Specific Fault-Tolerance Mechanism for Asynchronous, Distributed Systems
The idle computers on a local area, campus area, or even wide area network represent a significant computational resource--one that is, however, also unreliable, heterogeneous, an...
Adriana Iamnitchi, Ian T. Foster