24 search results - page 4 / 5 » The Power of 10: Rules for Developing Safety-Critical Code |
116
click to vote
SIGMETRICS
1993
ACM
15 years 1 months ago
1993
ACM
Recently there has been a surge of interest in developing performance debugging tools to help programmers tune their applications for better memory performance [2, 4, 10]. These t...
OSDI
2006
ACM
15 years 9 months ago
2006
ACM
In current commodity systems, applications have no way of limiting their trust in the underlying operating system (OS), leaving them at the complete mercy of an attacker who gains...
83
Voted
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
Intelligent Tutoring Systems (ITSs) have proved useful in a variety of domains, but are notoriously resource intensive to build. We have created two programs (“tutor generatorsâ...
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
The increasing performance and decreasing cost of processors and memory are causing system intelligence to move into peripherals from the CPU. Storage system designers are using t...