2918 search results - page 382 / 584 » Design tools for reliability analysis |
191
click to vote
JOT
2010
15 years 5 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
180
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
This paper introduces architectural and interaction patterns for integrating crowdsourced human contributions directly into user interfaces. We focus on writing and editing, compl...
236
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
171
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
232
click to vote
TC
2011
15 years 1 months ago
2011
—Aggressive technology scaling to 45nm and below introduces serious reliability challenges to the design of microprocessors. Since a large fraction of chip area is devoted to on-...