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

39th IFIP WG 6.1 International Conference on Formal Techniques for distributed Objects, Components, and Systems (FORTE) Held as Part of the 14th International Federated Conference on distributed Computing Techniques (DisCoTec)

作者： The Anh Pham Jeron, Thierry Quinson, Martin Univ Rennes IRISA CNRS INRIA Rennes France

ISBN: (纸本)9783030217594;9783030217587

Unfolding-based Dynamic Partial Order Reduction (UDPOR) is a recent technique mixing Dynamic Partial Order Reduction (DPOR) with concepts of concurrency such as unfoldings to efficiently mitigate state space explosion in model-checking of concurrent programs. It is optimal in the sense that each Mazurkiewicz trace, i.e. a class of interleavings equivalent by commuting independent actions, is explored exactly once. This paper shows that UDPOR can be extended to verify asynchronous distributed applications, where processes both communicate by messages and synchronize on shared resources. To do so, a general model of asynchronous distributed programs is formalized in TLA+. This allows to define an independence relation, a main ingredient of the unfolding semantics. Then, the adaptation of UDPOR, involving the construction of an unfolding, is made efficient by a precise analysis of dependencies. A prototype implementation gives promising experimental results.

关键词： Partial order Unfolding distributed program Asynchronous

来源：评论

学校读者我要写书评

暂无评论

Students' persistence in a distributed doctoral program in educational leadership in higher education: A mixed methods study

引用

RESEARCH IN HIGHER EDUCATION 2007年第1期48卷 93-135页

作者： Ivankova, Nataliya V. Stick, Sheldon L. Univ Alabama Birmingham Dept Human Studies Birmingham AL 35294 USA Univ Nebraska Dept Educ Adm Lincoln NE 68588 USA

The purpose of this mixed methods sequential explanatory study was to identify factors contributing to students' persistence in the University of Nebraska-Lincoln distributed Doctoral program in Educational Leadership in Higher Education by obtaining quantitative results from surveying 278 current and former students and then following up with four purposefully selected typical respondents to explore those results in more depth. In the first, quantitative, phase, five external and internal to the program factors were found to be predictors to students' persistence in the program: "program", "online learning environment", "student support services", "faculty", and "self-motivation". In the qualitative follow up multiple case study analysis four major themes emerged: (1) quality of academic experiences;(2) online learning environment;(3) support and assistance;and (4) student self-motivation. The quantitative and qualitative findings from the two phases of the study are discussed with reference to prior research. Implications and recommendations for policy makers are provided.

关键词： persistence doctoral students distributed program online learning environment

来源：评论

学校读者我要写书评

暂无评论

Identifying Useless States in Non-FIFO distributed Computations by using Pseudo Timestamps

Identifying Useless States in Non-FIFO Distributed Computati...

引用

10th International Symposium on Pervasive Systems, Algorithms, and Networks

作者： Chen, Lung-Pin Ho, Meng-Yuan Hong, Jhen-You Tunghai Univ Dept Comp Sci & Informat Engn Taichung 40704 Taiwan

ISBN: (纸本)9781424454037

In a distributed system, a monitor process collects the execution states and invokes a detection procedure to test and debug the program. This paper investigates the global state analyzing problems for the non-FIFO distributed environments. In this paper, the states unknown to the monitor process are represented by using the pseudo states. Based on this technique, this paper develops an algorithm capable of identifying the maximum number of useless states for the programs run in an non-FIFO distributed environment.

关键词： distributed debugging distributed program Global predicate Global state Timestamp

来源：评论

学校读者我要写书评

暂无评论

Aeneas: real-time performance evaluation approach for distributed programs with reliability-constrains

引用

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS 2007年第2期10卷 175-186页

作者： Jin, Hai Li, Yunfa Han, Zongfen Wu, Hao Qiang, Weizhong Huazhong Univ Sci & Technol Cluster & Grid Comp Lab Wuhan 430074 Peoples R China

A novel approach, called Aeneas, which is based on the execution state of distributed programs, is proposed in this paper. It is for the real-time performance analysis of distributed programs with reliability-constrains. In Aeneas, there are two important factors, the available data files and the transmission paths of each available data file. Some algorithms are designed to find all the transmission paths of each data file needed while the program executes, count the transmission time for each transmission path, then get the aggregate expression of transmission time, calculate the fastest response time and the slowest response time of distributed programs with reliability-constrains. In order to justify the feasibility and the availability of this approach, a series of experiments have been done. The results show that it is feasible and efficient to evaluate the real-time performance for distributed software with reliability-constrains.

关键词： distributed program reliability real-time performance response time

来源：评论

学校读者我要写书评

暂无评论

A review of e-learning practices for undergraduate medical education

引用

JOURNAL OF MEDICAL SYSTEMS 2004年第1期28卷 71-87页

作者： Lau, F Bates, J Univ Victoria Sch Hlth Informat Sci Victoria BC V8W 3P5 Canada Univ British Columbia Fac Med Vancouver BC V5Z 1M9 Canada

This paper describes the findings of a literature review conducted on the current usage, lessons, and limitations of e-learning for undergraduate medical education with an emphasis on synchronous delivery in the first 2 years. The review was conducted as part of an initiative to expand the UBC undergraduate medical program in British Columbia, Canada. The 50 e-learning articles included in the review described the deployment of various types of e-learning technology and content in different settings. The seven videoconferencing articles provided product information, health education examples, and innovative approaches. The six review articles provided general guidelines and trends on e-learning in undergraduate medical education in United States and Europe. Overall, while the literature is informative, there are few reported studies that address distributed synchronous learning in these undergraduate programs.

关键词： e-learning undergraduate medical education distributed program

来源：评论

学校读者我要写书评

暂无评论

Reproducing the behavior of a parallel program by using dataflow execution models

引用

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 1997年第4期E80D卷 495-503页

作者： Takahashi, N Miei, T NTT Software Lab Musashino-shi Japan

We present a general framework with which we can evaluate the flexibility and efficiency of various replay systems for parallel programs. In our approach, program monitoring is modeled by making a virtual dataflow program graph, referred to as a VDG, that includes all the instructions executed by the program. The behavior of the program replay is modeled on the parallel interpretation of a VDG based on two basic parallel execution models for dataflow program graphs: a data-driven model and a demand-driven model. Previous attempts to replay parallel programs, known as Instant Replay and P-Sequence, are also modeled as variations of the data-driven replay, i.e. the data-driven interpretation of a VDG. We show that the demand-driven replay, i.e, the demand-driven interpretation of a VDG, is more flexible in program replay than the data-driven replay since it allows better control of parallelism and a more selective replay. We also show that we can implement a demand-driven replay that requires almost the same amount of data to be saved during program monitoring as does the data-driven replay, and which eliminates any centralized bottleneck during program monitoring by optimizing the demand propagation and using an effective data structure.

关键词： parallel program distributed program program debugger execution monitoring dataflow computing

来源：评论

学校读者我要写书评

暂无评论

A language for specification of the behavior of distributed programs

引用

programMING AND COMPUTER SOFTWARE 1996年第5期22卷 233-240页

作者： Bakalov, YV Smelyanskii, RL MOSCOW MV LOMONOSOV STATE UNIV DEPT COMPUTAT MATH & CYBERNETMOSCOWRUSSIA

The specification language M(2)-SPEC designed to specify the behavior of distributed programs is described. The language is used in the algorithmic analysis subsystem of the Dyana integrated environment [4], which is ... 详细信息

关键词： Algorithmic properties distributed program Specification Verification

来源：评论

学校读者我要写书评

暂无评论

Checking subsystem safety properties in compositional reachability analysis 96

Checking subsystem safety properties in compositional reacha...

引用

Proceedings of the 18th international conference on Software engineering

作者： Shing C. Cheung Jeff Kramer Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay Hong Kong Department of Computing Imperial College of Science Technology and Medicine London SW7 2BZ UK

ISBN: (纸本)9780818672460

The software architecture of a distributed program can be represented by an hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis has been proposed as a promising automated method to derive the overall behavior of a distributed program in stages, based on its architecture. The method is particularly suitable for the analysis of programs which are subject to evolutionary change. When a program evolves, only behavior of those subsystems affected by the change need be re-evaluated. The method however has a limitation. The properties available for analysis are constrained by the set of actions that remain globally observable. The properties of subsystems, may not be analyzed. We extend the method to check safety properties of subsystems which may contain actions that are not globally observable. These safety properties can still be checked in the framework of compositional reachability analysis. The extension is supported by augmenting finite-state machines with a special undefined state /spl pi/. The state is used to capture possible violation of the safety properties specified by software developers. The concepts are illustrated using a gas station system as a case study.

关键词： software engineering globally observable actions reachability analysis compositional reachability analysis software developers gas station system subsystem safety property checking interacting processes safety distributed program evolutionary change hierarchical subsystem composition undefined state program diagnostics software architecture program analysis automated method safety property violation finite-state machines finite state machines distributed processing

来源：评论

学校读者我要写书评

暂无评论

ON distributed COMPUTING SYSTEMS RELIABILITY-ANALYSIS UNDER program EXECUTION CONSTRAINTS

引用

IEEE TRANSACTIONS ON COMPUTERS 1994年第1期43卷 87-97页

作者： CHEN, DJ LIN, MS Inst. of Comput. Sci. & Inf. Eng. Nat. Chiao Tung Univ. Hsinchu Taiwan

This correspondence presents an algorithm for computing the reliability of distributed computing systems (DCS). The algorithm, called the Fast Reliability Evaluation Algorithm, is based on the factoring theorem employing several reliability preserving reduction techniques. The effect of file distributions, program distributions, and various topologies on reliability of the DCS is studied in detail using the proposed algorithm. Compared with existing algorithms on various network topologies, file distributions, and program distributions, the proposed algorithm is much more economical in both time and space. To compute the distributed program reliability, the ARPA network is studied to illustrate the feasibility of the proposed algorithm.

关键词： distributed program distributed SYSTEM FACTORING THEOREM GRAPH THEORY RELIABILITY RELIABILITY-PRESERVING REDUCTION SPANNING TREE

来源：评论

学校读者我要写书评

暂无评论

AUTOMATED TIMING ANALYSIS OF REAL-TIME programS

引用

SOFTWARE ENGINEERING JOURNAL 1994年第5期9卷 221-227页

作者： HILL, MR JOSEPH, M UNIV WARWICK DEPT COMP SCICOVENTRY CV4 7ALW MIDLANDSENGLAND

ReStat is an interactive software tool for statically analysing the timing properties of real-time programs. Given a distributed program, a description of an architecture and a scheduling discipline, ReStat can be used to determine whether the implementation of the program on the architecture will meet a set of timing deadlines. The program may consist of a number of communicating processes and these can be statically assigned to any processor. Each process is assumed to have a simple, non-terminating cyclic structure, as is often the case in real-time control systems. ReStat uses a method of static analysis which establishes the timing properties of a real-time program by examining finite execution segments. The analysis is based on the syntactic structure of the program and can be efficiently implemented. The paper provides an overview of an experimental version of the tool and illustrates its use as a design aid by way of examples.

关键词： software tools communicating processes distributed processing safety static analysis ReStat real-time systems system monitoring distributed systems software automated timing analysis distributed program temporal logic timing deadlines software reliability Formal logic interactive software tool real-time programs finite execution segments safety-critical program programming support real-time control systems syntactic structure Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：