检索结果-内蒙古大学图书馆

Seven more myths of formal methods: Dispelling industrial prejudices 2nd

2nd International Symposium of Formal Methods Europe, FME 1994

作者： Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States

ISBN: (纸本)9783540585558

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] exaznined a number of ‘myths’ concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples. © 1994, Springer Verlag. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Cyber-Physical-Social System Self-Organization: Ontology-Based Multi-level Approach and Case Study

Cyber-Physical-Social System Self-Organization: Ontology-Bas...

引用

International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

作者： Alexander Smirnov Alexey Kashevnik Nikolay Shilov Information technology and programming department ITMO University St.Petersburg Russia Laboratory of Computer Aided Integrated Systems SPIIRAS St.Petersburg Russia

This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in physical part, they have to interact in cyber part. It is proposed to use the smart space technology for exchange information between these devices in cyber part of cyber-physical system. Smart Space -- is a computational environment consisting of multiple heterogeneous services (electronic and computational devices, Internet pages, data based, etc.) which has intelligent behavior, can proactively provide information taking into account current situation. Smart spaces allow unifying different levels of services, implement self-organization of services in each level, and providing politics from upper to lower level. Self-organization on every level is implemented based on ontology-based context management techniques and ontology matching method that provides semantic interoperability between interacted robots. Discussed in the paper case study solve the task of self-organization three types of robots based on politics from operation planning services and context situation in smart space. For the scenario implementation the Smart-M3 information sharing platform is used. It provides easy-to-use interfaces for information sharing through the RDF ontologies and publish / subscribe mechanism for connected services.

关键词： Ontologies Robots Semantics Information management Organizations Interoperability Pipelines

来源：评论

学校读者我要写书评

暂无评论

Event systems. How to have your cake and eat it too

Event systems. How to have your cake and eat it too

引用

International Conference on Distributed Computing Systems Workshop

作者： P.Th. Eugster P. Felber R. Guerraoui S.B. Handurukande Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland Bell Labs. Lucent Technologies Inc. Murray Hill NJ USA

This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing interests in events), and event safety (ensuring encapsulation and type-safe interaction with polymorphic events). We point out some ramifications underlying these tradeoffs and we propose a pragmatic approach to handle them. We achieve scalability using a multi-stage filtering strategy that combines approximate and perfect matching techniques for the purpose of event routing and filtering. We achieve expressiveness and event safety by viewing events as objects, i.e., instances of application-defined abstract types.

关键词： Safety Scalability Subscriptions Encapsulation Routing Matched filters Laboratories Equations Information filtering Information filters

来源：评论

学校读者我要写书评

暂无评论

IntensiVE, a toolsuite for documenting and checking structural source-code regularities

IntensiVE, a toolsuite for documenting and checking structur...

引用

(CSMR) European Conference on Software Maintenance and Reengineering

作者： K. Mens A. Kellens Département dIngénierie Informatique Université catholique de Louvain Louvain-la-Neuve Belgium Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvability of the system. However, due to constant changes, the implementation structure and its documentation tend to dilute over time. To address this problem, we developed IntensiVE: a toolsuite for documenting and checking structural source-code regularities. Building on the underlying models of intensional views and relations, the toolsuite helps a developer in documenting structural source-code regularities, verifying them and offering fine-grained feedback when the source-code does not satisfy those regularities. By illustrating our tools on a Smalltalk application, we show that violations of the source code against the structural regularities can be detected easily and that our toolsuite provides useful feedback for a developer to refine the regularities or to fix the code so that it does satisfy the regularities

关键词： Documentation Feedback Software systems Object oriented modeling Software maintenance Application software Buildings Scholarships Technological innovation Packaging

来源：评论

学校读者我要写书评

暂无评论

A dynamic accelerator-cluster architecture

A dynamic accelerator-cluster architecture

引用

41st International Conference on Parallel Processing Workshops, ICPPW 2012

作者： Rinke, Sebastian Becker, Daniel Lippert, Thomas Prabhakaran, Suraj Westphal, Lidia Wolf, Felix Laboratory for Parallel Programming German Research School for Simulation Sciences 52062 Aachen Germany Department of Computer Science RWTH Aachen University 52062 Aachen Germany Corporate Technology Siemens AG 81739 München Germany Jülich Supercomputing Centre 52428 Jülich Germany MAGMA Giessereitechnologie GmbH 52072 Aachen Germany

ISBN: (纸本)9780769547954

Accelerators such as graphics processing units (GPUs) provide an inexpensive way of improving the performance of cluster systems. In such an arrangement, the individual nodes of the cluster are directly connected to one or more accelerator devices via PCI Express. This results in a static mapping of accelerators onto compute nodes, where each accelerator can only be accessed from exactly one compute node. While this static mapping enables efficient data transfers between a given accelerator and the compute node it belongs to, differing computational demands across jobs may, however, produce either underutilized accelerators or nodes whose computational demands cannot be satisfied with the number of accelerators available to them. In particular, smaller numbers of GPUs available per node may enforce explicit MPI parallelism across compute nodes where it is not necessary. To address this limitation, we propose a novel accelerator-cluster architecture in which network-attached accelerators are dynamically assigned to compute nodes. This allows not only their optimal utilization but also a more precise match between application requirements and accelerator hardware. We outline the general concept of our dynamic architecture and show that it can offer substantial benefits to certain classes of applications without significantly harming the performance of others. © 2012 IEEE.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Data envelopment analysis for optimal generators start-up strategy

Data envelopment analysis for optimal generators start-up st...

引用

8th International Conference on Advances in Power System Control, Operation and Management (APSCOM 2009)

作者： Q. Liu L. B. Shi Y. X. Ni L. Zh. Yao M. Bazargan Programming Research Center CPECC China National Key Laboratory of Power Systems in Shenzhen Tsinghua University China Technology Centre AREVA T and D Inc. UK

An optimal strategy involving the corresponding model and approach to the generators start-up during power system restoration is presented. The aim of the method is to maximize the total power generation capability (MWh) over an optimization time period whilst considering the corresponding constraints. The Data Envelopment Analysis (DEA) method is employed to get an effective assessment towards each generator (to be cranked) by the newly introduced indices derived from the objective function together with its constraints. As a result, the relative efficiency of each generator to be started can be evaluated comprehensively and objectively. On the other hand, the priority for each generator start-up can be determined as well. The proposed method, to some extent, can make the trade off between the simulation precision and the computing efforts much better. Case study based on a 12-generator modified real-sized system illustrate that the proposed strategy could provide more comprehensive and objective decision reference.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A comparative analysis of load balancing algorithms applied to aweather forecast model

A comparative analysis of load balancing algorithms applied ...

引用

IEEE International Symposium on Computer Architecture and High Performance Computing

作者： Rodrigues, Eduardo R. Navaux, Philippe O. A. Panetta, Jairo Fazenda, Alvaro Mendes, Celso L. Kale, Laxmikant V. Institute of Informatics Federal University of Rio Grande do Sul Porto Alegre Brazil Center for Weather Forecast and Climate Studies INPE Cachoeira Paulista Brazil Science and Technology Department Federal University of Sao Paulo Sao Jose dos Campos Brazil Parallel Programming Laboratory University of Illinois at Urbana-Champaign Urbana United States

ISBN: (纸本)9780769542164

Among the many reasons for load imbalance in weather forecasting models, the dynamic imbalance caused by localized variations on the state of the atmosphere is the hardest one to handle. As an example, active thunderstorms may substantially increase load at a certain timestep with respect to previous timesteps in an unpredictable manner - after all, tracking storms is one of the reasons for running a weather forecasting model. In this paper, we present a comparative analysis of different load balancing algorithms to deal with this kind of load imbalance. We analyze the impact of these strategies on computation and communication and the effects caused by the frequency at which the load balancer is invoked on execution time. This is done with-out any code modification, employing the concept of processor virtualization, which basically means that the domain is over-decomposed and the unit of rebalance is a sub-domain. With this approach, we were able to reduce the execution time of a full, real-world weather model. © 2010 IEEE.

关键词： Weather forecasting

来源：评论

学校读者我要写书评

暂无评论

Tea polyphenol EGCG inhibited colorectal-cancer-cell proliferation and migration via downregulation of STAT3

引用

Gastroenterology Report 2021年第1期9卷 59-70,I0002页

作者： Ke-Wang Luo Jun Xia Bao-Hui Cheng Han-Chao Gao Li-Wu Fu Xin-Le Luo Key Laboratory People’s Hospital of LonghuaShenzhenGuangdongP.R.China Key Laboratory of Medical Programming Technology Shenzhen Second People’s HospitalThe First Affiliated Hospital of Shenzhen UniversityShenzhenGuangdongP.R.China Shenzhen Key Laboratory of ENT Longgang ENT Hospital and Institute of ENTShenzhenGuangdongP.R.China Department of Nephrology Shenzhen Longhua District Central HospitalAffiliated Central Hospital of Shenzhen Longhua DistrictGuangdong Medical UniversityShenzhenGuangdongP.R.China State Key Laboratory of Oncology in South China Collaborative Innovation Center for Cancer MedicineGuangdong Esophageal Cancer InstituteSun Yat-sen University Cancer CenterGuangzhouGuangdongP.R.China

Background Green tea is a popular beverage worldwide and epigallocatechin-3-gallate(EGCG)is the most bioactive polyphenol in green *** study aims to investigate the anti-proliferation and anti-migration effects of EGCG against colorectal-cancer SW480,SW620,and LS411N cells,and elucidate the underlying *** The in vitro anti-proliferation and anti-migration effects of EGCG against colon-cancer cells were evaluated using MTT,scratch-wound-healing,and transwell-migration *** effects of EGCG on apoptosis were assessed by Annexin V-FITC/PI double staining and JC-1 ***,Western blotting was employed to detect the protein-expression level and elucidate the underlying ***-time qPCR and dual-luciferase reporter assay were adopted to determine the mRNA level and promoter *** Our results demonstrated that treatment with EGCG resulted in significant inhibition of cell proliferation by the induction of *** also inhibited SW480 cell migration in a dose-dependent manner as assessed by wound-healing and transwell-migration *** blot confirmed that EGCG induced apoptosis by the activation of Caspase-3 and *** addition,both STAT3 and phosphorylated STAT3(p-STAT3)were downregulated significantly by EGCG in three selected colorectal-cancer cell *** treatment also resulted in a significant decrease in Bcl-2,MCL-1,and Vimentin,and an increase in *** STAT3 was inhibited,EGCG showed no obvious effect on cell proliferation and *** investigation by luciferase-reporter-activity assay showed that EGCG suppressed the promoter activity of STAT3 and downregulated the transcription of *** Our study presents evidence on the anti-proliferation and anti-migration effects of EGCG against colorectalcancer SW480,SW620,and LS411N cells by downregulating the expression of STAT3 and suggests that EGCG could be an effective and natural supplement for colon-cancer treatment.

关键词： EGCG colon cancer STAT3 SW480 SW620 LS411N

来源：评论

学校读者我要写书评

暂无评论

Performance Characterization of SPEC CPU2006 Benchmarks on Intel and AMD Platform

Performance Characterization of SPEC CPU2006 Benchmarks on I...

引用

International Workshop on Education technology and Computer Science, ETCS

作者： Shengmei Li Buqi Cheng Xingyu Gao Lin Qiao Zhizhong Tang Department of Computer Science and Technology Tsinghua University Beijing China Programming Systems Laboratory Intel China Research Center Limited Beijing China Chinese Academy and Sciences Beijing China

For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Using the performance events collected by Performance Monitor Unit, we compare their performance differences and analyze the causes from the features of architectures and the optimization technologies. Our results and analysis help the programmers better understand the memory performance and branch prediction performance which are caused by architectures and guide them in the optimization. The analysis also help the processor architects better balance among the key architecture factors such as memory disambiguation and hardware prefetch when doing architecture design decision.

关键词： Microarchitecture Decoding Educational technology Paper technology programming profession Performance analysis Computer science Computer architecture Hardware Prefetching

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming workshop report

Aspect-oriented programming workshop report

引用

Workshops on Object-Oriented technology, ECOOP 1997

作者： Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)3540640398

Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or characterisation of AOP. Therefore, the main goal of the ECOOP’97 AOP workshop was to identify the "good questions" for exploring the idea of AOP. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：