302 search results - page 31 / 61 » An approach to synthesise safe systems |
155
click to vote
SEFM
2005
IEEE
15 years 11 months 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...
138
click to vote
SOSP
1997
ACM
15 years 7 months ago
1997
ACM
The exokernel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This ...
157
click to vote
APCSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...
190
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
140
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....