Sciweavers

197 search results - page 8 / 40
» A design workflow for dynamically reconfigurable multi-FPGA ...
Sort
View
ICSE
2008
IEEE-ACM
14 years 7 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang
CODES
1998
IEEE
13 years 11 months ago
A hardware/software prototyping environment for dynamically reconfigurable embedded systems
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
Josef Fleischmann, Klaus Buchenrieder, Rainer Kres...
TVLSI
2002
130views more  TVLSI 2002»
13 years 6 months ago
HW/SW codesign techniques for dynamically reconfigurable architectures
Abstract--Hardward/software (HW/SW) codesign and reconfigurable computing are commonly used methodologies for digitalsystems design. However, no previous work has been carried out ...
Juanjo Noguera, Rosa M. Badia
DAIS
1997
13 years 8 months ago
A System for Specifying and Coordinating the Execution of Reliable Distributed Applications
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
Frédéric Ranno, Santosh K. Shrivasta...
DATE
2010
IEEE
120views Hardware» more  DATE 2010»
13 years 11 months ago
UML design for dynamically reconfigurable multiprocessor embedded systems
Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, J...