|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一种同步语言多线程代码自动生成工具显示文摘随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证。目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成。提出一种同步语言SIGNAL多线程代码生成工具。首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码。通过在多核处理器上的实验,验证了所提方法的有效性。 | 杨志斌 袁胜浩 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVEIX Mamoun FILALI | 2019 | 软件学报2019，30，7： | 8 |
| 2 | 同步语言的时间可预测多线程代码生成方法显示文摘能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架. | 杨志斌 赵永望 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI | 2016 | 软件学报2016，27，3： | 8 |
| 3 | Towards a verified compiler prototype for the synchronous language SIGNAL显示文摘 | Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI Kai HU Yongwang ZHAO Dianfu MA | 2016 | Frontiers of Computer Science2016，10，1： | 7 |
| 4 | A comparative study of two formal semantics of the SIGNAL language显示文摘 | Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI | 2013 | Frontiers of Computer Science2013，7，5： | 5 |
| 5 | Association of Fas/Apo1 gene promoter (-670 A/G) polymorphism in Tunisian patients with IBD显示文摘AIM: To detect a possible association between the polymorphism of the (-670 A/G) Fas/Apo1 gene promoter and susceptibility to Crohn's disease (CD) and ulcerative colitis (UC) in the Tunisian population. METHODS: The (-670 A/G) Fas polymorphism was analyzed in 105 patients with CD, 59 patients with UC, and 100 controls using the polymerase chain reaction restriction fragment length polymorphism method. RESULTS: Significantly lower frequencies of the Fas -670 A allele and A/A homozygous individuals were observed in CD and UC patients when compared with controls. Analysis of (-670 A/G) Fas polymorphism with respect to sex in CD and UC showed a significant difference in A/A genotypes between female patients and controls (P corrected = 0.004 in CD patients and P corrected = 0.02 in UC patients, respectively). Analysis also showed a statistically significant association between genotype AA of the (-670 A/G) polymorphism and the ileum localization of the lesions (P corrected = 0.048) and between genotype GG and the colon localization (Pcorrected = 0.009). The analysis ofinflammatory bowel disease patients according to clinical behavior revealed no difference. CONCLUSION: Fas-670 polymorphism was associated with the development of CD and UC in the Tunisian population. | Walid Ben Aleya Imen Sfar Leila Mouelhi Houda Aouadi Mouna Makhlouf Salwa Ayed-Jendoubi Samira Matri Azza Filali Taoufik Najjar Taeib Ben Abdallah Khaled Ayed Yousr Gorgi | 2009 | World Journal of Gastroenterology2009，15，29： | 3 |
| 6 | 同步语言多线程代码生成的语义保持证明方法显示文摘同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持证明研究成为研究热点.目前,已有同步语言代码生成方法还较少考虑多线程代码生成的语义保持证明.因此,本文提出一种同步语言SIGNAL多线程代码生成的语义保持证明方法:首先形式化定义编译过程中源、目标、中间语言的结构化操作语义;其次形式化定义多线程代码生成过程;最后基于互模拟等价思想证明编译前后的语义一致性. | 袁胜浩 杨志斌 张博林 周勇 薛垒 BODELEIX Jean-Paul FILALI Mamoun | 2020 | 计算机学报2020，43，11： | 2 |
| 7 | A Survey andQualitative Analysis of MAC Protocols for Vehicular AdHoc Networks显示文摘 | MENOUARH FILALI F LENARDI M | 2006 | IEEE Wireless Communication Maga-zine2006，13，5： | 1 |
| 8 | Stimulation --induced inhibition of neuronal firing in human subthalamic nucleus显示文摘 | Filali M Hutchison WD Palter VN | 2004 | Exp Brain Res2004，156，3： | 1 |
| 9 | Activation of swelling-activated chloride current by tumor necrosis factor-alpha requires ClC-3-dependent endosomal reactive oxygen production 显示文摘 | Matsuda JJ Filali MS Moreland JG | 2010 | J Biol Chem2010，285，22： | 1 |
| 10 | Mobility models for vehicular Ad Hoc networks: a survey and taxonomy 显示文摘 | Hard J Filali F Bonnet C | 2009 | IEEE Communications Surveys & Tutorials2009，11，4： | 1 |
| 11 | Mobility Models for Vehicular Ad Hoc Networks: a Survey and Taxonomy 显示文摘 | Harri J Filali F Bonnet C | 2009 | IEEE Communications Surveys and Tutorials ($1553-877X)2009，11，4： | 1 |
| 12 | A survey and qualitative analysis of MAC protocols for vehicular ad hoc networks显示文摘 | Menouar H Filali F Lenardi M | 2006 | IEEE Wireless Communications2006，13，5： | 1 |
| 13 | MyD88 deficiency results in both cognitive and motor impairments in mice显示文摘 | J. Drouin-Ouellet M. LeBel M. Filali F. Cicchetti | 2012 | Brain Behavior and Immunity2012，，6： | 1 |
| 14 | Toll-like receptor 2 acts as a natural innate immune receptor to clear amyloid beta 1-42 and delay the cognitive decline in a mouse model of Alzheimer′s disease显示文摘 | Richard K L Filali M Prefontaine P | 2008 | Neurosci2008，28，22： | 1 |
| 15 | Annual dynamics of glycogen, lipids and proteins during the sexual cycle of Per?naperna (Mollusca: Bivalvia) from south-western Morocco显示文摘 | Benomar S Costil K Filali FE ei ol | 2010 | J Mar Bioi Assoc UK2010，90，2： | 1 |
| 16 | Anti-inflammatory, anticoagulant and antioxidant effects of aqueous extracts from Moroccan thyme varieties显示文摘Objective: To evaluate the anti-inflammatory, anticoagulant and antioxidant effects of aqueous extracts of thyme varieties from Moroccan.Methods: The aqueous extracts of tree medicinal plants [Thymus atlanticus(T. atlanticus), Thymus satureioides and Thymus zygis(T. zygis)] were screened for their antioxidant activity using 1,1-diphenyl-2-picrylhydrazyl radical-scavenging, ferric reducing antioxidant power assay, radical scavenging activity method, the inhibition of 2,2'-azobis(2-amidinopropane) dihydrochloride that induces oxidative erythrocyte hemolysis and thiobarbituric acid reactive substances assay. The anti-inflammatory activity of aqueous extracts was evaluated in vivo using croton oil-induced ear edema and carrageenan-induced paw edema in mice and rats, respectively. This extracts were evaluated in vitro for their anticoagulant activity at the different concentrations by partial thromboplastin time and prothrombin time activated. Results: All thyme varieties were found to possess considerable antioxidant activity and potent anti-inflammatory activity in the croton oil-induced edema. Administration of aqueous extracts of two varieties(50 mg/kg)(T. zygis and T. atlanticus) reduced significantly the carrageenaninduced paw edema similar to non-steroidal anti-inflammatory drug(indomethacin, 10 mg/kg). In partial thromboplastin time and prothrombin time tests, T. atlanticus and T. zygis extracts showed the strongest anticoagulant activity. In contrast, Thymus satureioides did not show the anticoagulant activity in these tests. Conclusions: All aqueous extracts possess considerable antioxidant activity and are rich in total polyphenol and flavonoid but they act differently in the process of inflammatory and coagulation studied. This study shows great variability of biological activities in thyme varieties. | Tarik Khouya Mhamed Ramchoun Abdelbassat Hmidani Souliman Amrani Hicham Harnafi Mohamed Benlyas Younes Filali Zegzouti Chakib Alem | 2015 | Asian Pacific Journal of Tropical Biomedicine2015，5，8： | 1 |
| 17 | 显示文摘 | Filali BK | 2000 | Curr Microbial2000，42，3： | 1 |
| 18 | Subchronic memantine administration on spatial learning, exploratory activity, and nest-building in an APP/PS1 mouse model of Alzheimer's disease显示文摘 | Filali M Lalonde R Rivest S | 2011 | Neuropharmacology2011，60，6： | 1 |
| 19 | Stimulation --induced inhibition of neuronal firing in human subthalamic nucleus显示文摘 | Filali M Hutchison WD Palter VN | 2004 | Exp Brain Res2004，156，： | 1 |
| 20 | A survey and qualitative analysis of MAC protocols for vehicular ad hoc networks显示文摘 | Menouar H Filali F Lenardi M | 2006 | IEEE Wireless Communications2006，13，5： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员