8874 search results - page 1541 / 1775 » A New Implementation of Automath |
197
click to vote
DEEC
2005
IEEE
16 years 27 days ago
2005
IEEE
In this paper, we study the use of semantic information to improve performance of transparent query caching for dynamic content web sites. We observe that in dynamic content web a...
190
click to vote
IPPS
2005
IEEE
16 years 26 days ago
2005
IEEE
The InfiniBandTM Architecture (IBA) is a new promising I/O communication standard positioned for building clusters and System Area Networks (SANs). However, the IBA specification ...
183
click to vote
IPPS
2005
IEEE
16 years 26 days ago
2005
IEEE
With the latest high-end computing nodes combining shared-memory multiprocessing with hardware multithreading, new scheduling policies are necessary for workloads consisting of mu...
187
click to vote
IPPS
2005
IEEE
16 years 26 days ago
2005
IEEE
In this paper, our contributions are two-fold: First, we enhance the Min-Min and Sufferage heuristics under three risk modes driven by security concerns. Second, we propose a new ...
205
click to vote
ISCA
2005
IEEE
16 years 26 days ago
2005
IEEE
Network Intrusion Detection and Prevention Systems have emerged as one of the most effective ways of providing security to those connected to the network, and at the heart of alm...