7421 search results - page 71 / 1485 » In search of dependable design |
179
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
Autonomic Computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are selfconfiguring, self-healing, se...
160
click to vote
ARTMED
1998
15 years 6 months ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
180
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
171
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
150
click to vote
TCAD
2010
15 years 1 months ago
2010
Starting from the 90nm technology node, process induced stress has played a key role in the design of highperformance devices. The emergence of source/drain silicon germanium (S/D ...