Understanding properly the impact of model parameters and their interactions on the predictions is required for an appropriate model assessment. For simulation of reflooding following a LOCA, this requirement is justified because the important parameters a ...
Reconfigurable platforms are a promising technology that offers an interesting trade-off between flexibility and performance, which many recent embedded system applications demand, especially in fields such as multimedia processing. These applications typi ...
This paper addresses the dam-break problem for particle suspensions, that is, the flow of a finite volume of suspension released suddenly down an inclined flume. We were concerned with concentrated suspensions made up of neutrally-buoyant non-colloidal par ...
Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...
Coarse-grained reconfigurable arrays (CGRAs) are a promising class of architectures conjugating flexibility and efficiency. Devising effective methodologies to map applications onto CGRAs is a challenging task, due to their parallel execution paradigm and ...
Institute of Electrical and Electronics Engineers2012
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall c ...
