240 search results - page 33 / 48 » Incorporating Tables into Proofs |
ICCD
2001
IEEE
14 years 4 months ago
2001
IEEE
Several schemes have been proposed that incorporate an auxiliary buffer to improve the performance of a given size cache. Victim caching, aims to reduce the impact of conflict mis...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
— Small gates, such as AND2, XOR2 and MUX2, have been mixed with lookup tables (LUTs) inside the programmable logic block (PLB) to reduce area and power and increase performance ...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
Research into large-scale distributed systems often relies on the use of simulation frameworks in order to bypass the disadvantages of performing experiments on real testbeds. SimG...
WOWMOM
2009
ACM
14 years 2 months ago
2009
ACM
WIMAX (Worldwide Interoperability for Microwave Access) is a promising new networking technology that potentially offers high speed and wide area wireless access services that com...
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper we present an autonomic web services architecture that manages both the performance of service containers and the interconnection of those containers into a servic...