3365 search results - page 372 / 673 » Digital System Design: Architectures, Methods and Tools |
186
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
206
click to vote
LEC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Web has emerged as a huge information repository that can be used for various knowledge based applications, an important one being Question Answering (QA). The paper discusses...
171
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
187
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
177
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
Aggressive technology scaling into the nanometer regime has led to a host of reliability challenges in the last several years. Unlike onchip caches, which can be efficiently prot...