279 search results - page 22 / 56 » Typability in Partial Applicative Structures |
HPDC
1999
IEEE
13 years 12 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
MR
2007
13 years 7 months ago
2007
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
XIMEP
2005
ACM
14 years 1 months ago
2005
ACM
Building an XML store means finding solutions to the problems of representing, accessing, querying and updating XML data. The irregularity of both the structure and usage of XML, ...
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
- This paper presents a non-scan design-for-testability technique applicable to register-transfer(RT) level data path circuits, which are usually very hard-to-test due to the prese...
ACL
1996
13 years 8 months ago
1996
This paper presents a quantitative evaluation of the portability to the stock market domain of the revision rule hierarchy used by the system STREAKto incrementally generate newsw...