1259 search results - page 143 / 252 » Operating System Support for Shared Memory Clusters |
107
click to vote
AAAI
1997
15 years 3 months ago
1997
This paper describes an environment for supporting very large ontologies. The system can be used on single PCs, workstations, a cluster of workstations, and high-end parallel supe...
139
Voted
EMSOFT
2010
Springer
15 years 14 days ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
110
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
183
click to vote
CANPC
2000
Springer
15 years 6 months ago
2000
Springer
Improvements in microprocessor and networking performance have made networks of workstations a very attractive platform for high-end parallel and distributed computing. However, t...
113
click to vote
STORAGESS
2005
ACM
15 years 8 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...