6581 search results - page 135 / 1317 » Formalizing Design Patterns |
129
click to vote
ADBIS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
136
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
117
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
123
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
142
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...