889 search results - page 54 / 178 » Cluster Tools |
EGPGV
2004
Springer
14 years 1 months ago
2004
Springer
Data coming from complex simulation models reach easily dimensions much greater than available computational resources. Visualization of such data still represents the most intuit...
EUROPAR
2001
Springer
14 years 16 days ago
2001
Springer
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
KBSE
1999
IEEE
14 years 9 days ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
PDP
1997
IEEE
14 years 7 days ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...
LREC
2010
13 years 9 months ago
2010
Named Entity Recognition is a relatively well-understood NLP task, with many publicly available training resources and software for English. Other languages tend to be underserved...