Sciweavers

2960 search results - page 243 / 592
» A vision for embedded software
Sort
View
SAC
2005
ACM
16 years 4 days ago
Towards system software for physical space applications
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
Kaori Fujinami, Tatsuo Nakajima
PLDI
2003
ACM
15 years 12 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
ISSS
2002
IEEE
154views Hardware» more  ISSS 2002»
15 years 11 months ago
Optimal Code Size Reduction for Software-Pipelined and Unfolded Loops
Software pipelining and unfolding are commonly used techniques to increase parallelism for DSP applications. However, these techniques expand the code size of the application sign...
Bin Xiao, Zili Shao, Chantana Chantrapornchai, Edw...
CHES
2006
Springer
158views Cryptology» more  CHES 2006»
15 years 10 months ago
Hardware/Software Co-design of Elliptic Curve Cryptography on an 8051 Microcontroller
8-bit microcontrollers like the 8051 still hold a considerable share of the embedded systems market and dominate in the smart card industry. The performance of 8-bit microcontrolle...
Manuel Koschuch, Joachim Lechner, Andreas Weitzer,...
ECIS
2001
15 years 8 months ago
Knowledge, learning and IT support in a small software company
The literature in the field of knowledge management shows a certain preoccupation with information technology (IT) and technical solutions while it reflects a limited view of orga...
Karlheinz Kautz, Kim Thaysen