15379 search results - page 447 / 3076 » Protecting users from |
136
Voted
PVM
2005
Springer
15 years 10 months ago
2005
Springer
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
139
Voted
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
131
click to vote
SBCCI
2003
ACM
15 years 9 months ago
2003
ACM
There has been a lot of discussion, and a lot of confusion, about the various existing and new design languages recently. SystemC, SystemVerilog, Verilog2005, e, Vera, PSL/Sugar, ...
130
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
165
click to vote
WETICE
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper argues that the development of Collaborative Virtual Environment (CVE) technology must be guided by application and end user needs. A collaboration is described between ...