Sciweavers

2523 search results - page 249 / 505
» Correct Development of Embedded Systems
Sort
View
133
Voted
INDOCRYPT
2010
Springer
15 years 1 months ago
Getting a Few Things Right and Many Things Wrong
: Radio frequency identification (RFID) is a technology for the automated identification of physical entities using radio frequency transmissions. In the past ten years, RFID syste...
Neal Koblitz
KBSE
2008
IEEE
15 years 9 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
115
Voted
IH
2004
Springer
15 years 8 months ago
Information Hiding in Finite State Machine
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
Lin Yuan, Gang Qu
110
Voted
CAINE
2004
15 years 4 months ago
Automated Error-Prevention and Error-Detection Tools for Assembly Language
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
Lance G. Johnson, David C. Pheanis
CVPR
2004
IEEE
16 years 5 months ago
Multibody Motion Segmentation Based on Simulated Annealing
The problem of multibody motion segmentation is an important and challenging issue in computer vision. In this paper, a novel segmentation technique based on simulated annealing (...
Zhimin Fan, Jie Zhou, Ying Wu