2255 search results - page 193 / 451 » High Assurance Software Systems |
195
click to vote
CASSIS
2005
Springer
16 years 9 hour ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
156
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Hypervisors, popularized by Xen and VMware, are quickly becoming commodity. They are appropriate for many usage scenarios, but there are scenarios that require system virtualizatio...
174
click to vote
IEEEPACT
1999
IEEE
15 years 10 months ago
1999
IEEE
Image processing applications tend to access their data non-sequentially and reuse that data infrequently. As a result, they tend to perform poorly on conventional memory systems ...
170
click to vote
ISSTA
2006
ACM
2006
ACM
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
16 years 13 days ago
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
167
click to vote
SEFM
2005
IEEE
16 years 1 days ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...