Thread-Level Speculation Execution Model Based on LLVM Compiler

Author(s):  
Deshuo Zhao ◽  
Bin Liu
2014 ◽  
Vol 886 ◽  
pp. 637-641 ◽  
Author(s):  
Qian Yu ◽  
Ying Lin ◽  
Xuan Zhang ◽  
Fei Dai ◽  
Na Zhao

Software evolution process model (EPM) is created in terms of a formal evolution process meta-model (EPMM) and semi-formal approach to modeling based on EPMM. EPM is still abstract at higher abstract level and is general while software process is concrete, so EPM must be instantiated before its enactment. The method to transform any EPM to its execution model based on logic programming is proposed. Since activity contains the imports resource, roles resource, exports resource and tasks, the rules to transform the four parts of activity level of any EPM to its execution model based logic programming are respectively proposed by analyzing the execution semantics of the activities and the tasks in EPM. The converter program is realized and the correct results have presented to prove the correctness of the method.


2012 ◽  
Vol 23 (8) ◽  
pp. 2207-2222
Author(s):  
Xiao-Qing LI ◽  
Xiao-Dong ZHAO ◽  
Qing-Kai ZENG

2014 ◽  
Vol 05 (19) ◽  
pp. 3091-3116 ◽  
Author(s):  
Lorella Fatone ◽  
Francesca Mariani ◽  
Maria Cristina Recchioni ◽  
Francesco Zirilli

2008 ◽  
Vol 6 (5) ◽  
pp. 424-435
Author(s):  
eder Jose Pelegrini ◽  
Joao Jose Neto
Keyword(s):  

2020 ◽  
Vol 43 ◽  
Author(s):  
Peter Dayan

Abstract Bayesian decision theory provides a simple formal elucidation of some of the ways that representation and representational abstraction are involved with, and exploit, both prediction and its rather distant cousin, predictive coding. Both model-free and model-based methods are involved.


2001 ◽  
Vol 7 (S2) ◽  
pp. 578-579
Author(s):  
David W. Knowles ◽  
Sophie A. Lelièvre ◽  
Carlos Ortiz de Solόrzano ◽  
Stephen J. Lockett ◽  
Mina J. Bissell ◽  
...  

The extracellular matrix (ECM) plays a critical role in directing cell behaviour and morphogenesis by regulating gene expression and nuclear organization. Using non-malignant (S1) human mammary epithelial cells (HMECs), it was previously shown that ECM-induced morphogenesis is accompanied by the redistribution of nuclear mitotic apparatus (NuMA) protein from a diffuse pattern in proliferating cells, to a multi-focal pattern as HMECs growth arrested and completed morphogenesis . A process taking 10 to 14 days.To further investigate the link between NuMA distribution and the growth stage of HMECs, we have investigated the distribution of NuMA in non-malignant S1 cells and their malignant, T4, counter-part using a novel model-based image analysis technique. This technique, based on a multi-scale Gaussian blur analysis (Figure 1), quantifies the size of punctate features in an image. Cells were cultured in the presence and absence of a reconstituted basement membrane (rBM) and imaged in 3D using confocal microscopy, for fluorescently labeled monoclonal antibodies to NuMA (fαNuMA) and fluorescently labeled total DNA.


Sign in / Sign up

Export Citation Format

Share Document