BPDF Bebelis, Vagelis; Fradet, Pascal; Girault, Alain ...
Proceedings of the Eleventh ACM International Conference on Embedded Software,
09/2013
Conference Proceeding
Dataflow programming models are well-suited to program many-core streaming applications. However, many streaming applications have a dynamic behavior. To capture this behavior, parametric dataflow ...models have been introduced over the years. Still, such models do not allow the topology of the dataflow graph to change at runtime, a feature that is also required to program modern streaming applications. To overcome these restrictions, we propose a new model of computation, the Boolean Parametric Data Flow (BPDF) model which combines integer parameters (to express dynamic rates) and boolean parameters (to express the activation and deactivation of communication channels). High dynamism is provided by integer parameters which can change at each basic iteration and boolean parameters which can even change within the iteration.
The major challenge with such dynamic models is to guarantee liveness and boundedness. We present static analyses which ensure statically the liveness and the boundedness of BDPF graphs. We also introduce a scheduling methodology to implement our model on highly parallel platforms and demonstrate our approach using a video decoder case study.
A mouse IgG1 monoclonal antibody (MAb), 19A211, defining a tumor-associated cell-surface antigen of superficial papillary bladder tumors, was generated by immunizing with fresh bladder tumor cells ...mice neonatally injected with normal human urothelial cells. The reactivity of the antibody with cell lines was examined by indirect immunofluorescence staining and was restricted to 3/14 bladder cancer lines and 3/31 cancer cell lines of non-bladder origin, including HeLa cervical cancer. No normal fibroblast, kidney cells, EBV-lymphocytes, erythrocytes or leukocytes expressed the antigen. Reactivity of MAb 19A211 was well preserved on tissue paraffin sections. Immunoperoxidase staining of normal adult or fetal tissues showed no reactivity except for a patchy or uniform staining of umbrella cells in 6/23 adult and 1/4 fetal urothelium samples. Positive and often heterogeneous staining was observed on 24/38 papillary superficial tumors (Ta) and 4/5 carcinoma in situ bladder lesions but on only 4/20 infiltrating tumors. It was also observed on 5/6 cervical condylomas and one bladder condyloma, but none of 6 penile or vulvar condylomas. All other tumors tested were negative. The antigenic determinant is present on a heterogeneous group of proteins with molecular weights ranging from 90 to 200 kDa. It is sensitive to periodate treatment and to neuraminidase but only partially sensitive to proteases. MAb 19A211 is different from other reported MAbs with similar reactivity to superficial bladder tumors and umbrella cells of normal urothelium. When tested in competition assays, several of these MAbs, but not 19A211, were found to react with Lewis X blood group determinant. Our results suggest that 19A211 may be useful for detection and stratification of bladder tumors.
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto ...a set of fail-silent processors. We transform the tasks such that, assuming the availability of an additional spare processor, the system tolerates one failure at a time (transient or permanent). Failure detection is implemented using heartbeating, and failure masking using checkpointing and roll-back. These techniques are described and implemented by automatic program transformations on the tasks' programs. The proposed formal approach to fault-tolerance by program transformation highlights the benefits of separation of concerns and allows us to establish correctness properties.
The METSTOR project offers a methodology to look for potentially interesting CO2 storage areas in France at the initial stage, before the "site selection" step. Our tool, embodied in a Geographic ...Information System, is based on an interactive map of CO2 storage capacities. Other relevant information layers are included. The geographic layers are complemented with a series of online technical notices. It seems to be the first open online GIS that offers policy makers, businesses and the public at large an integrated access to that necessary information. Our prototype, limited mainly to the Paris Basin, is released online at www.metstor.fr.
The METSTOR project offers a methodology to look for potentially interesting CO2 storage areas in France at the initial stage, before the "site selection" step. Our tool, embodied in a Geographic ...Information System, is based on an interactive map of CO2 storage capacities. Other relevant information layers are included. The geographic layers are complemented with a series of online technical notices. It seems to be the first open online GIS that offers policy makers, businesses and the public at large an integrated access to that necessary information. Our prototype, limited mainly to the Paris Basin, is released online at www.metstor.fr.