5376 search results - page 61 / 1076 » Scalable Kernel Systems |
97
Voted
RE
2008
Springer
15 years 2 days ago
2008
Springer
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...
96
Voted
RTCSA
1995
IEEE
15 years 4 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
113
click to vote
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
101
Voted
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
95
Voted
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...