Sciweavers

8067 search results - page 334 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
DATE
2003
IEEE
76views Hardware» more  DATE 2003»
15 years 10 months ago
Modeling Noise Transfer Characteristic of Dynamic Logic Gates
Dynamic noise analysis is recently gaining more attention as a definitive method to overcome glaring deficiencies of static noise analysis. Exact dynamic noise analysis requires...
Li Ding 0002, Pinaki Mazumder
ICSM
2003
IEEE
15 years 10 months ago
On Modeling Software Architecture Recovery as Graph Matching
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
Kamran Sartipi, Kostas Kontogiannis
FASE
2003
Springer
15 years 10 months ago
Modelling Recursive Calls with UML State Diagrams
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
Jennifer Tenzer, Perdita Stevens
146
Voted
ISQED
2000
IEEE
80views Hardware» more  ISQED 2000»
15 years 9 months ago
A Statistical Model for Electromigration Failures
The lognormal has been traditionally used to model the failure time distribution of electromigration failures. However, when used to estimate the failure of large metal layers, it...
Gilbert Yoh, Farid N. Najm
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 9 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...