17 search results - page 1 / 4 » ijcsa 2007 |
70
Voted
IJCSA
2007
14 years 10 months ago
2007
IJCSA
2007
14 years 10 months ago
2007
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
85
Voted
IJCSA
2007
14 years 10 months ago
2007
In this paper we present low -cost, concurrent checking methods for multiple error detection in S-boxes of symmetric block ciphers. These are redundancy-based fault detection sche...
82
Voted
IJCSA
2007
14 years 10 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
83
Voted
IJCSA
2007
14 years 10 months ago
2007
This paper discusses different approaches for integrating biological knowledge in gene expression analysis. Indeed we are interested in the fifth step of microarray analysis pro...