8771 search results - page 121 / 1755 » Different by design |
150
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper addresses the problem of design rule correct routing, i.e. the avoidance of illegal wiring patterns during routing. These illegal wiring patterns are due to the set of ...
193
click to vote
JOT
2010
15 years 5 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
174
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
167
click to vote
LAWEB
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a set of conceptual metaphors for the design of multi-cultural systems. The work is part of a long-term study to adapt the International Children's Digi...
155
click to vote
ISCAS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—This paper presents a method to investigate powerperformance tradeoffs in digital pipelined designs. The method is applied at the architectural level of the design. It w...