2409 search results - page 215 / 482 » Logical systems for structured specifications |
169
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...
165
click to vote
IMSCCS
2006
IEEE
16 years 18 days ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
131
click to vote
ARCS
2010
Springer
15 years 11 months ago
2010
Springer
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
143
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a methodology to analyze signal integrity such as power voltage drop and clock skew in early stages of design, more specifically, when RTL-design and early flo...
192
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...