90 search results - page 8 / 18 » On the Implementation of @pre |
CGO
2005
IEEE
14 years 3 months ago
2005
IEEE
Although optimizations have been applied for a number of years to improve the performance of software, problems that have been long-standing remain, which include knowing what opt...
WWW
2003
ACM
14 years 10 months ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
CEE
2007
13 years 9 months ago
2007
We present a compact FPGA implementation of a modular exponentiation accelerator suited for cryptographic applications. The implementation efficiently exploits the properties of m...
PDP
1997
IEEE
14 years 2 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...