Design validation for embedded arrays remains as a challenging problem in today's microprocessor design environment. Although several methods for validating embedded arrays have been proposed, not much has been done to characterize the strengths and weaknesses of these methods. This paper provides a comprehensive study of various design validation ...
Dans cet article nous avons écarté les notions d'ancien/nouveau et de présupposé/information nouvelle pour définir la focalisation. Nous avons mis l'accent, dans cette définition, sur la nécessité d'articuler assertion et focalisation. La focalisation fait porter l'assertion sur l'identification du terme focalisé, la relation prédicative étant hors...
Dans leur article, "Pour une réévaluation pragmatique de l'assertion", Manes Gallo et Vernant critiquent la description de l'assertion dans la théorie des actes de langage, essayant de montrer que cette description est inadéquate parce que basée sur un certain nombre d'hypothèses "logicistes" sur le discrours qui conduisent à la conclusion regretta...
The lack of a systematic structuring of its principles is one of the greatest difficulties of the explanatory paradigm that stems from the late developments of Wittgenstein's thought. When we try to build that architectural frame, however, we need to have recourse to "molecular" positions which have an obvious fregean origin. The anti-realistic pro...
The paper argues for the centrality of believing the speaker (as distinct from believing the statement) in the epistemology of testimony, and develops a line of thought from Angus Ross which claims that in telling someone something, the kind of reason for belief that a speaker presents is of an essentially different kind from ordinary evidence. Inv...