5376 search results - page 457 / 1076 » Scalable Kernel Systems |
178
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
220
click to vote
CLUSTER
2010
IEEE
14 years 10 months ago
2010
IEEE
Many-task computing aims to bridge the gap between two computing paradigms, high throughput computing and high performance computing. Many-task computing denotes highperformance co...
157
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Virtualization is a common strategy for improving the utilization of existing computing resources, particularly within data centers. However, its use for high performance computin...
152
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
195
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper examines the scalable parallel implementation of QR factorization of a general matrix, targeting SMP and multi-core architectures. Two implementations of algorithms-by-...