3836 search results - page 152 / 768 » Optimizing the Use of High Performance Software Libraries |
116
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present an approach for software rejuvenation based on automated self-healing techniques that can be easily applied to off-the-shelf Application Servers and Inte...
136
click to vote
CLEIEJ
2006
15 years 3 months ago
2006
This paper describes JADIMA (Java Distributed Machine), a collaborative platform to construct high performance distributed JAVA applications. JADIMA is a system that automatically...
147
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
135
click to vote
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
131
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...