424 search results - page 19 / 85 » types 1999 |
HPCN
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...
IIE
2007
14 years 9 months ago
2007
A high quality review of the distance learning literature from 1992–1999 concluded that most of the research on distance learning had serious methodological flaws. This paper pr...
AEI
1999
14 years 9 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
CN
1999
14 years 9 months ago
1999
With the growth of mobile computing, users will have simultaneous access to multiple overlaid networks, each with Zdifferent characteristics, services and costs. This paper introd...
CADE
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...