3806 search results - page 289 / 762 » The Power of Process |
233
click to vote
ENTCS
2008
15 years 6 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
175
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
197
click to vote
CSREAESA
2004
15 years 8 months ago
2004
- MEMS technology has improved such that the capabilities of large sensor devices can now be encompassed in devices that are the size of a penny. These resource constraint devices ...
147
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
198
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...