1031 search results - page 197 / 207 » On the Formal Development of Safety-Critical Software |
106
Voted
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
121
Voted
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
111
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
113
Voted
COMSWARE
2006
IEEE
15 years 6 months ago
2006
IEEE
— Development in new radio technologies and increase in user demands are driving the deployment of a wide array of wireless networks, ranging from 802.11 networks in the local ar...
106
Voted
IUI
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...