5564 search results - page 296 / 1113 » Performance Modeling of HPC Applications |
136
click to vote
KBSE
1999
IEEE
15 years 8 months 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 ...
112
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Parameter estimation is a key computational issue in all statistical image modeling techniques. In this paper, we explore a computationally efficient parameter estimation algorith...
131
click to vote
AUIC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
119
click to vote
EMNLP
2007
15 years 6 months ago
2007
Sentence compression holds promise for many applications ranging from summarisation to subtitle generation and subtitle generation. The task is typically performed on isolated sen...
105
click to vote
COMCOM
1998
15 years 4 months ago
1998
Routing algorithms are required to guarantee the various quality-of-service (QoS) characteristics requested by the wide range of applications supported by Broadband Integrated Ser...