3742 search results - page 257 / 749 » On the Use of Formal Techniques for Validation |
162
click to vote
DSN
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
192
click to vote
PPDP
2007
Springer
16 years 22 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
200
click to vote
TKDE
2012
13 years 9 months ago
2012
—Many data mining techniques have been proposed for mining useful patterns in text documents. However, how to effectively use and update discovered patterns is still an open rese...
181
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
163
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...