2960 search results - page 473 / 592 » A vision for embedded software |
128
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
128
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
ion Abstracts Zizhan Zheng, Qianxiang Wang, Gang Huang and Hong Mei. Design and Implementation of the Load Balancing Mechanism in PKUAS (in Chinese). ACTA ELECTRONICA SINICA, 32(12...
135
Voted
CASES
2005
ACM
15 years 5 months ago
2005
ACM
Interconnection networks have been deployed as the communication fabric in a wide range of parallel computer systems. With recent technological trends allowing growing quantities ...
125
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
119
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
Missing or imprecise requirements can lead stakeholders to make incorrect assumptions. A "Not a Problem" defect report (NaP) describes a software behavior that a stakeho...