1880 search results - page 130 / 376 » A Static Analysis for Beta-Binders |
UML
2004
Springer
15 years 5 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
105
click to vote
SC
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
129
click to vote
TCAD
2008
14 years 11 months ago
2008
Manufacturing process variations lead to variability in circuit delay and, if not accounted for, can cause excessive timing yield loss. The familiar traditional approaches to timin...
ICDAR
2007
IEEE
15 years 6 months ago
2007
IEEE
For handwritten pattern recognition, multiple classifier system has been shown to be useful in improving recognition rates. One of the most important issues to optimize a multipl...
100
click to vote
DAC
2000
ACM
16 years 25 days ago
2000
ACM
We revisit a basic element of modern signal integrity analysis, the modeling of worst-case coupling capacitance effects within a switch factor (SF) based methodology. We show that...