2251 search results - page 201 / 451 » Specification and Implementation Problems for C |
137
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
106
click to vote
PG
2002
IEEE
15 years 9 months ago
2002
IEEE
Solid texturing is a well-known computer graphics technology, but still has problems today, because it consumes too much time if every pixel is calculated on the fly or has a very...
135
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
102
click to vote
VTS
1997
IEEE
15 years 8 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
128
click to vote
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...