3522 search results - page 271 / 705 » Incremental physical design |
189
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
140
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Today, several data-storage systems allow applications to create and manage custom metadata to improve data search and navigability in large-scale storage systems. Our thesis is t...
147
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
176
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Different coherence dimensions can be considered to improve the performances of an algorithm for computing collision translations of pairs of convex polyhedra. The algorithm’...
181
click to vote
SIPS
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we present a fast mode decision algorithm for H.264/AVC intra prediction. The goal of this work is to reduce computational complexity of the H.264 encoder without s...