2702 search results - page 393 / 541 » Practically Applicable Formal Methods |
102
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
Memory bandwidth limits the performance of important kernels in many scientific applications. Such applications often use sequences of Basic Linear Algebra Subprograms (BLAS), an...
134
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
127
Voted
HOTI
2005
IEEE
15 years 7 months ago
2005
IEEE
— Operators need routers to provide service guarantees such as guaranteed flow rates and fairness among flows, so as to support real-time traffic and traffic engineering. How...
111
click to vote
WWW
2005
ACM
15 years 7 months ago
2005
ACM
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
120
click to vote
AP2PC
2004
Springer
15 years 7 months ago
2004
Springer
A Middleware is the software that assists an application to interact or communicate with other applications, networks, hardware, and/or operating systems. We have earlier proposed ...