436 search results - page 41 / 88 » Benchmarking and hardware implementation of JPEG-LS |
SIGMOD
1994
ACM
14 years 1 months ago
1994
ACM
This paper presents, QuickStore, a memory-mapped storage system for persistent C++ built on top of the EXODUS Storage Manager. QuickStore provides fast access to in-memory objects...
ASPDAC
2007
ACM
14 years 29 days ago
2007
ACM
Power supply noise increases the circuit delay, which may lead to performance failure of a design. Decoupling capacitance (decap) addition is effective in reducing the power suppl...
CAV
2009
Springer
14 years 29 days ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
DATE
2006
IEEE
14 years 19 days ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
CAV
1997
Springer
14 years 16 days ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...