3731 search results - page 267 / 747 » cases 2006 |
160
click to vote
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
To excite a stuck-open fault in a CMOS combinational circuit, it is only necessary that the output of the gate containing the fault takes on opposite values during the application...
162
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
166
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
194
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
181
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
We introduce a new congestion driven placement algorithm for FPGAs in which the overlappingeffect of boundingboxes is taken into consideration. Experimental results show that comp...