Sciweavers

DATE
2010
IEEE
263views Hardware» more  DATE 2010»
13 years 10 months ago
SCOC3: a space computer on a chip
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
Franck Koebel, Jean-François Coldefy
DATE
2010
IEEE
261views Hardware» more  DATE 2010»
13 years 10 months ago
Evaluation and design exploration of solar harvested-energy prediction algorithm
Abstract—To respond to variations in solar energy, harvestedenergy prediction is essential to harvested-energy management approaches. The effectiveness of such approaches is depe...
Mustafa Imran Ali, Bashir M. Al-Hashimi, Joaqu&iac...
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
13 years 10 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
DATE
2010
IEEE
202views Hardware» more  DATE 2010»
13 years 10 months ago
FlashPower: A detailed power model for NAND flash memory
Abstract— Flash memory is widely used in consumer electronics products, such as cell-phones and music players, and is increasingly displacing hard disk drives as the primary stor...
Vidyabhushan Mohan, Sudhanva Gurumurthi, Mircea R....
DATE
2010
IEEE
201views Hardware» more  DATE 2010»
13 years 10 months ago
COTS-based applications in space avionics
—The use of commercial electronic components is increasingly attractive for the space domain. This paper discusses the current degree of use of these components in space avionics...
Michel Pignol
Hardware
Top of PageReset Settings