15421 search results - page 2771 / 3085 » Dependability |
223
click to vote
ACSAC
2002
IEEE
16 years 12 days ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
201
Voted
CLUSTER
2002
IEEE
16 years 12 days ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
209
click to vote
DSN
2002
IEEE
16 years 12 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
183
click to vote
DSN
2002
IEEE
16 years 12 days ago
2002
IEEE
View Synchrony (VS) is a powerful abstraction in the design and implementation of dependable distributed systems. By ensuring that processes deliver the same set of messages in ea...
223
Voted
FCCM
2002
IEEE
16 years 11 days ago
2002
IEEE
The paper presents a Design Space Exploration (DSE) experiment which has been carried out in order to determine the optimum FPGA–based Variable-Length Decoder (VLD) computing re...