3629 search results - page 213 / 726 » A More Efficient Use of Delta-CRLs |
172
click to vote
ICIP
2007
IEEE
16 years 27 days ago
2007
IEEE
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...
158
click to vote
PERCOM
2006
ACM
16 years 18 days ago
2006
ACM
As mobile ad hoc networks (MANETs) become ever more popular, it also becomes more and more interesting to build distributed network applications (e.g. data storage, etc.) that hav...
175
click to vote
SAT
2005
Springer
16 years 2 days ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
170
click to vote
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
203
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...