3108 search results - page 495 / 622 » The Elements of Computer Credibility |
156
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
191
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
—We present efficient computational methods for scattered point and meshless analysis of electrostatic microelectromechanical systems (MEMS). Electrostatic MEM devices are govern...
143
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new conceptual framework for summarization that considers the relationship between entities, device properties and user information needs. We summarize using...
174
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
This work considers switching fabrics with distributed packet routing to achieve high scalability and low costs. The considered switching fabrics are based on a multistage structu...
149
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we describe a comprehensive layout methodology for bonded three-dimensional integrated circuits (3D ICs). In bonded 3D integration technology, parts of a circuit ar...