Sciweavers

2141 search results - page 161 / 429
» Embedded Software
Sort
View
VSTTE
2005
Springer
15 years 10 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
EUROMICRO
1998
IEEE
15 years 9 months ago
Process Scheduling for Performance Estimation and Synthesis of Hardware/Software Systems
The paper presents an approach to process scheduling for embedded systems. Target architectures consist of several processors and ASICs connected by shared busses. We have develop...
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa...
RTAS
2008
IEEE
15 years 11 months ago
TOSSTI: Saving Time and Energy in TinyOS with Software Thread Integration
Many wireless sensor nodes (motes) interface with slow peripheral devices, requiring the processor to wait. These delays waste time, energy and power, which are valuable but limit...
Zane D. Purvis, Alexander G. Dean
IESS
2007
Springer
124views Hardware» more  IESS 2007»
15 years 11 months ago
Integrated Coupling and Clock Frequency Assignment of Accelerators During Hardware/Software Partitioning
: Hardware/software partitioning moves software kernels from a microprocessor to custom hardware accelerators. We consider advanced implementation options for accelerators, greatly...
Scott Sirowy, Frank Vahid
ASIASIM
2004
Springer
15 years 10 months ago
LSTAFF: System Software for Large Block Flash Memory
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
Tae-Sun Chung, Dong-Joo Park, Yeonseung Ryu, Sugwo...