1151 search results - page 215 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
SAT
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
DATE
2010
IEEE
14 years 20 days ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
SIGGRAPH
2000
ACM
13 years 12 months ago
2000
ACM
Physical simulation of dynamic objects has become commonplace in computer graphics because it produces highly realistic animations. In this paradigm the animator provides few phys...
DAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Automatic identification of a script in a given document image facilitates many important applications such as automatic archiving of multilingual documents, searching on...
TEDU
2011
13 years 2 months ago
2011
Most 3D character editing tools are complex and non-intuitive. It takes lot of skill and labor from the artists to create even a draft 3D humanoid model. This paper proposes an int...