2746 search results - page 206 / 550 » Application performance on the Direct Access File System |
117
click to vote
JCS
2002
15 years 4 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
118
click to vote
AAAI
2010
15 years 5 months ago
2010
The next decade will see an abundance of new intelligent systems, many of which will be market-based. Soon, users will interact with many new markets, perhaps without even knowing...
155
click to vote
PARA
2004
Springer
15 years 9 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
130
click to vote
CONCURRENCY
2002
15 years 4 months ago
2002
Computational science portals are emerging as useful and necessary interfaces for performing operations on the Grid. The Grid Portal Development Kit (GPDK) facilitates the develop...
140
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...