1837 search results - page 247 / 368 » Abstraction and the C Machine Model |
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
: Relevance feedback in Content Based Image Retrieval(CBIR) has been an active field of research for quite some time now. Many schemes and techniques of relevance feedback exist w...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
INTERACT
1997
13 years 10 months ago
1997
ABSTRACT This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in d...