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

Algorithms for sensor networks: What is it good for?

4th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2008

作者： Wattenhofer, Roger Distributed Computing Group Computer Engineering and Networks Laboratory ETH Zurich Switzerland

ISBN: (纸本)3540928618

Absolutely nothing!? The merit of theory and algorithms in the context of wireless sensor and ad hoc networks is often questioned. Admittedly, coming up with theory success stories that will be accepted by practitioners is not easy. In my talk I will discuss the current score of the Theory vs. Practice game, after playing seven years for the Theory team. Probably due to a "seven year itch", I recently also started playing for the Practice team. © 2008 Springer Berlin Heidelberg.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

ON THE MESSAGE COMPLEXITY OF distributed PROBLEMS

引用

INTERNATIONAL JOURNAL OF computer & INFORMATION SCIENCES 1984年第3期13卷 131-147页

作者： SANTORO, N 1. Distributed Computing Group School of Computer Science Carleton University Herzberg Building K1S 5B6 Ottawa Canada

An important question in distributed computing is the analysis of the influence that the amount of topological information available at the processors has on the complexity of solution algorithms for a given problem. Only few results, typically expressed in terms of lower-bounds, are known to date. In this paper, we prove lower-bounds for two well-known distributed problems: extrema-finding and minimum-weight spanning-tree construction. To establish these results, we introduce the notion of reducibility and equivalence between the elements of a class of distributed problems. We also prove the worst-case optimality of two algorithms.

关键词： distributed algorithms asynchronous message-passing systems local topological information extrema finding spanning-tree construction

来源：评论

学校读者我要写书评

暂无评论

Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs

引用

computers, Materials & Continua 2024年第5期79卷 3139-3173页

作者： Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Software Engineering and Distributed System Research Group King Abdulaziz UniversityJeddah21589Saudi Arabia

The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed ***, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

关键词： High-performance computing parallel computing software engineering software defect message passing interface deadlock

来源：评论

学校读者我要写书评

暂无评论

Classification and modelling of Web technologies

Classification and modelling of Web technologies

引用

作者： Wallis, Mark Henskens, Frans Hannaford, Michael Distributed Computing Research Group School of Electrical Engineering and Computer Science University of Newcastle Callaghan NSW Australia

ISBN: (纸本)9789898425515

The World Wide Web is a constantly changing environment in which academia, industry and interest groups participate to innovate and design the next evolution of online user interaction. The ad-hoc nature in which new web-based systems and technologies have been developed has led to an increasingly diverse environment, with ill defined interactions and fuzzy classification systems. Recently, business pioneers in the industry have attempted to classify web applications into large groupings based on certain key characteristics. The high-level taxonomy presented in this paper provides a way to scientifically classify web applications. By classifying applications and studying the progression from one classification to the next, predictions can be made as to the direction of future web application development. After presenting a formal classification model this research discusses how this model can be used to compare existing web technologies and design the next generation of the World Wide Web.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

Overcast skies: What cloud computing should be?

Overcast skies: What cloud computing should be?

引用

作者： Wallis, Mark Henskens, Frans Hannaford, Michael Distributed Computing Research Group School of Electrical Engineering and Computer Science University of Newcastle Callaghan NSW Australia

ISBN: (纸本)9789898425522

From an consumer perspective the Cloud is opaque. Online storage and the rise of web applications are changing the way users work. There continues though to be no distinction from a user experience point of view between accessing a Cloud-based application and accessing a web application deployed on a classic server. We propose a new paradigm for online application development which takes the best from web applications, thick client applications and the new "application store" market. This approach expands the cloud to encompass all resources that belong to a user;be it local client resources or server-farm resources procured using a traditional cloud model. By implementing these concepts we can bring the benefits of cloud computing directly to the end user while breaking developers out of the confines of the web browser.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

A distributed heuristic for decentralized workflow scheduling in global grids

A distributed heuristic for decentralized workflow schedulin...

引用

2009 10th IEEE/ACM International Conference on Grid computing, Grid 2009

作者： Rahman, Mustafizur Ranjan, Rajiv Buyya, Rajkumar Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Service Oriented Computing Research Group School of Computer Science and Engineering University of New South Wales Australia

ISBN: (纸本)9781424451494

Efficient scheduling is a key concern for the effectual execution of performance driven Grid applications, such as workflows. Many list heuristics have been developed for scheduling workflows in centralized Grid environment. However, in this paper, we present a distributed list heuristic for decentralized scheduling of workflow applications in global Grids. The simulation results show that the proposed scheduling approach is scalable with respect to increased workload on the system. © 2009 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

A taxonomy of autonomic application management in grids

A taxonomy of autonomic application management in grids

引用

16th IEEE International Conference on Parallel and distributed Systems, ICPADS 2010

作者： Rahman, Mustafizur Ranjan, Rajiv Buyya, Rajkumar Cloud Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Service Oriented Computing Research Group School of Computer Science and Engineering University of New South Wales Australia

ISBN: (纸本)9780769543079

In this paper, we propose a taxonomy that characterizes and classifies different components of autonomic application management in Grids. We also survey several representative Grid systems developed by various projects world-wide to demonstrate the comprehensiveness of the taxonomy. The taxonomy not only highlights the similarities and differences of state-of-the-art technologies utilized in autonomic application management from the perspective of Grid computing, but also identifies the areas that require further research initiatives. © 2010 IEEE.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Dependable workflow scheduling in global grids

Dependable workflow scheduling in global grids

引用

2009 10th IEEE/ACM International Conference on Grid computing, Grid 2009

ISBN: (纸本)9781424451494

In this paper, a reputation-based Grid workflow scheduling algorithm is proposed to counter the effect of inherent unreliability and temporal characteristics of computing resources in large scale, decentralized Grid overlays. The proposed approach builds upon structured peer-to-peer indexing and overlay networking techniques to create a scalable wide-area networking of Grid sites for supporting dependable scheduling of applications. The scheduling algorithm considers reliability of a Grid resource as a statistical property, which is globally computed in the decentralized Grid overlay based on dynamic feedbacks or reputation scores assigned by individual service consumers (Grid Resource Brokers). The proposed algorithm can dynamically adapt to changing resource conditions and offer significant performance gains as compared to traditional approaches in the event of unsuccessful job execution or resource failure. We evaluate and demonstrate the feasibility of our approach through an extensive trace driven simulation. The results show that our scheduling technique can reduce the makespan up to 50% and successfully isolate the failure-prone resources from the system. © 2009 IEEE.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Why Eve and Mallory love Android: An analysis of Android SSL (in)security 12

Why Eve and Mallory love Android: An analysis of Android SSL...

引用

2012 ACM Conference on computer and Communications Security, CCS 2012

作者： Fahl, Sascha Harbach, Marian Muders, Thomas Smith, Matthew Baumgärtner, Lars Freisleben, Bernd Distributed Computing and Security Group Leibniz University of Hannover Hannover Germany Department of Math. and Computer Science Philipps University of Marburg Marburg Germany

ISBN: (纸本)9781450316507

Many Android apps have a legitimate need to communicate over the Internet and are then responsible for protecting potentially sensitive data during transit. This paper seeks to better understand the potential security threats posed by benign Android apps that use the SSL/TLS protocols to protect data they transmit. Since the lack of visual security indicators for SSL/TLS usage and the inadequate use of SSL/TLS can be exploited to launch Man-in-the-Middle (MITM) attacks, an analysis of 13,500 popular free apps downloaded from Google's Play Market is presented. We introduce MalloDroid, a tool to detect potential vulnerability against MITM attacks. Our analysis revealed that 1,074 (8.0%) of the apps examined contain SSL/TLS code that is potentially vulnerable to MITM attacks. Various forms of SSL/TLS misuse were discovered during a further manual audit of 100 selected apps that allowed us to successfully launch MITM attacks against 41 apps and gather a large variety of sensitive data. Furthermore, an online survey was conducted to evaluate users' perceptions of certificate warnings and HTTPS visual security indicators in Android's browser, showing that half of the 754 participating users were not able to correctly judge whether their browser session was protected by SSL/TLS or not. We conclude by considering the implications of these findings and discuss several countermeasures with which these problems could be alleviated. Copyright © 2012 ACM.

关键词： Sensitive data

来源：评论

学校读者我要写书评

暂无评论

Transaction specification for object-oriented realtime systems in HRT-HOOD 2nd

Transaction specification for object-oriented realtime syste...

引用

2nd International Eurospace-Ada-Europe Symposium, Ada in Europe 1995

作者： Cornwell, Pete Wellings, Andy Distributed Objects Research Group Department of Computing Bournemouth University Dorset United Kingdom Real-Time Systems Research Group Department of Computer Science University of York York United Kingdom

ISBN: (纸本)3540607579

Object-oriented development is a structuring paradigm. It does not provide substantial support for the specification of ‘end to end’ control and data flow. This has implications for hard real-time system development, where applications may specify ‘end to end’ response times, also known as transactions. This paper introduces a graphical notation for the specification of transactions in HRT-HOOD, an object-oriented design technique for hard real-time system development. It provides an overview of the notation, and its practical application as part of a ‘top-down’ development process. This is illustrated through a case study, based on a naval command-control system. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：