20511 search results - page 65 / 4103 » On the level |
120
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
The emerging paradigms of service oriented architectures and utility-based computing have the potential to greatly reduce the cost of data management. Data management service prov...
137
click to vote
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
145
Voted
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
104
click to vote
SIGMETRICS
1997
ACM
15 years 5 months ago
1997
ACM
Enterprise level web proxies relay world-wide web traffic between private networks and the Internet. They improve security, save network bandwidth, and reduce network latency. Wh...