68 search results - page 3 / 14 » Efficiently Supporting Fault-Tolerance in FPGAs |
HPDC
1999
IEEE
13 years 10 months ago
1999
IEEE
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
FORMATS
2004
Springer
13 years 9 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
AICCSA
2008
IEEE
13 years 6 months ago
2008
IEEE
Mining fault tolerant (FT) frequent patterns from transactional datasets are very complex than mining all frequent patterns (itemsets), in terms of both search space exploration a...
FGCS
2002
13 years 5 months ago
2002
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...
ARCS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...