3836 search results - page 195 / 768 » Optimizing the Use of High Performance Software Libraries |
136
click to vote
RAS
2000
15 years 4 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...
132
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
156
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
We present the framework of a new grid architecture based on the peer-to-peer and the component paradigms. In our architecture, several peer-to-peer components are loosely coupled...
146
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
146
click to vote
ICPP
1997
IEEE
15 years 8 months ago
1997
IEEE
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...