Sciweavers

2510 search results - page 213 / 502
» The Discipline of Embedded Systems Design
Sort
View
ICRE
1998
IEEE
15 years 10 months ago
Validating Requirements for Fault Tolerant Systems using Model Checking
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
Francis Schneider, Steve M. Easterbrook, John R. C...
JCM
2007
71views more  JCM 2007»
15 years 6 months ago
Wireless Stand-alone Portable Patient Monitoring and Logging System
—In this paper, we propose a wireless stand-alone, embedded system design that integrates the monitoring of three biomedical parameters into a single personal medical device. The...
Taha Landolsi, A. R. Al-Ali, Yousef Al-Assaf
ICDE
2000
IEEE
197views Database» more  ICDE 2000»
16 years 7 months ago
SQLServer for Windows CE - A Database Engine for Mobile and Embedded Platforms
This paper presents an overview of Microsoft SQLServer for Windows CE. This is a database engine designed for mobile and embedded applications. The focus of the presentation is on...
Praveen Seshadri, Phil Garrett
CASES
2010
ACM
15 years 4 months ago
Low cost multicast authentication via validity voting in time-triggered embedded control networks
Wired embedded networks must include multicast authentication to prevent masquerade attacks within the network. However, unique constraints for these networks make most existing m...
Christopher Szilagyi, Philip Koopman
174
Voted
VLSID
2001
IEEE
164views VLSI» more  VLSID 2001»
16 years 6 months ago
An Efficient Parallel Transparent Bist Method For Multiple Embedded Memory Buffers
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
Der-Cheng Huang, Wen-Ben Jone, Sunil R. Das