13500 search results - page 331 / 2700 » Improved analysis of D |
166
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
191
click to vote
3DIM
2003
IEEE
16 years 12 hour ago
2003
IEEE
Autonomous range acquisition for 3D modeling requires reliable range registration, for both the precise localization of the sensor and combining the data from multiple scans for v...
162
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
177
click to vote
HPCN
1994
Springer
15 years 10 months ago
1994
Springer
The exact knowledge of the heat flow in heterojunction bipolar transistors (HBT) during power operation is an important key factor for the systematic improvement of power density,...
207
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...