22114 search results - page 330 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
173
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
247
click to vote
TCAD
2010
15 years 2 months ago
2010
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
195
click to vote
VCIP
2001
15 years 8 months ago
2001
This paper introduces a new framework for error concealment in block-based image coding systems: sequential recovery. Unlike previous approaches that simultaneously recover the pix...
201
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
255
click to vote
EUROMED
2010
15 years 5 months ago
2010
This paper presented our approach to developing the 3d model of A Famosa Faortress in Melaka, Malaysia. As the physical remnant of the fortress are minimal, a traditional 3D modell...