Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society’s Task Force on Cluster Computing (TFCC) and the Association for Computing Machinery (AC...
详细信息
ISBN:
(数字)9783540444442
ISBN:
(纸本)9783540414032
Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society’s Task Force on Cluster Computing (TFCC) and the Association for Computing Machinery (ACM). The workshop has received generous sponsorship from the European Grid Forum (eGrid), the EuroTools SIG on Metacomputing, Microsoft Research (USA), Sun Microsystems (USA), and the Centre for Development of Advanced Computing (India). It is a sign of the current high levels of interest and activity in Grid computing that we have had contributions to the workshop from researchers and developers in Australia, Austria, Canada, France, Germany, Greece, India, Italy, Japan, Korea, The Netherlands, Spain, Switzerland, UK, and USA. It is our pleasure and honor to present the first annual international Grid computing meeting program and the proceedings. The Grid: A New Network Computing Infrastructure The growing popularity of the Internet along with the availability of powerful computers and high speed networks as low cost commodity components are helping to change the way we do computing. These new technologies are enabling the coupling of a wide variety of geographically distributed resources, such as parallel supercomputers, storage systems, data sources, and special devices, that can then be used as a unified resource and thus form what is popularly known as the “Grids”.
In this paper we propose a new method for parallel execution of Prolog programs and present its implementation on a distributed memory parallel computer, Fujitsu AP1000. In our method a number of processes (named Prol...
详细信息
In this paper we propose a new method for parallel execution of Prolog programs and present its implementation on a distributed memory parallel computer, Fujitsu AP1000. In our method a number of processes (named Prolog engines) explore different branches of a search tree (named tasks) in parallel, which is the same as OR-parallelism. Unlike OR-parallelism, the mapping between Prolog engines and tasks is statically determined like data parallelism. Each Prolog engine can decide which task is executed by the engine without communicating with the other engines. In many search problems, however, such static task mapping may cause imbalance on the processing time of each engine since the computational costs to explore branches may vary substantially. To cope with this issue, we devise a method to adjust the task imbalance by periodical exchanging how many tasks were processed for each engine. Also for reducing communication overhead in load balancing, we limit the scope of engines that exchange the load information each other. The effectiveness of our method is evaluated by measuring execution times for N Queens and the Traveling Salesman Problem on the AP1000. Using 512 processors, we obtained 355-fold speedup for N Queens and 343-fold speedup on the Traveling Salesman Problem.
Space flight software continues to experience exponential growth as functionality migrates from hardware to software. The resulting complexity of these mission critical systems demands new approaches to software syste...
详细信息
Space flight software continues to experience exponential growth as functionality migrates from hardware to software. The resulting complexity of these mission critical systems demands new approaches to softwaresystemsengineering in order to effectively manage the development efforts and ensure that reliability is not compromised. Model-based systems/softwareengineering (MBE) approaches present attractive solutions to address the size and complexity through abstraction and analytical models. However, there are many challenges that must be addressed before MBE approaches can be effectively adopted on a large scale across an entire system. In this paper, we discuss some of the key motivators and challenges based on our experiences with flight software programs employing elements of MBE.
The current trend toward heterogeneous architectures motivates us to reconsider current software and hardware paradigms. The focus is centered around new parallel programming models, compiler design, and runtime resou...
详细信息
As the incidence of faults in real Wireless Sensor Networks (WSNs) increases, fault injection is starting to be adopted to verify and validate their design choices. Following this recent trend, this paper presents a t...
详细信息
As the incidence of faults in real Wireless Sensor Networks (WSNs) increases, fault injection is starting to be adopted to verify and validate their design choices. Following this recent trend, this paper presents a tool, named AVR-INJECT, designed to automate the fault injection, and analysis of results, on WSN nodes. The tool emulates the injection of hardware faults, such as bit flips, acting via software at the assembly level. This allows to attain simplicity, while preserving the low level of abstraction needed to inject such faults. The potential of the tool is shown by using it to perform a large number of fault injection experiments, which allow to study the reaction to faults of real WSN software.
The proceedings contain 208 papers. The topics discussed include: design and evaluation of knowledge-based tool for course exemption in institution of higher learning;social software enhanced e-learning system to supp...
ISBN:
(纸本)9781467319386
The proceedings contain 208 papers. The topics discussed include: design and evaluation of knowledge-based tool for course exemption in institution of higher learning;social software enhanced e-learning system to support knowledge sharing among students: Malaysian higher education institutions perspectives;theoretical framework for multi-agent collaborative knowledge sharing for competitiveness of institutions of higher learning (IHL) in Malaysia;design of a medication reminder and feedback system for Thai elders;a framework of a childhood obesity intervention using persuasive web-mobile technology;a deadlock-free dimension order routing for hierarchical 3D-mesh network;an approach towards intrusion detection using PCA feature subsets and SVM;parallel heuristic graph matching algorithm for task assignment problem in distributed computing systems;and in support of hydrocarbon exploration and discovery using clouds.
During the last years, component based software development has become a well accepted softwareengineering paradigm within the automotive industry. This fact is not only reflected by upcoming development tools but al...
详细信息
During the last years, component based software development has become a well accepted softwareengineering paradigm within the automotive industry. This fact is not only reflected by upcoming development tools but also by newly arising automotive software standards. In component based softwareengineering, applications are built by assembling small reusable building blocks, the components. Typically more than one component implementation meets the application developer's requirements, so proper selection of the assembled components becomes a key element of the whole procurement and engineering process. This paper's contribution is twofold: First, a basic set of performance and dependability metrics and measures for automotive components is identified. Second, a unified benchmarking process is proposed, that allows an unambiguous comparison of distinct component implementations of a given component class.
Semantic search importance is growing each day as millions of people around the world need to obtain objective and concrete information. Guided-based systems are an alternative to natural language systems regarding th...
详细信息
ISBN:
(纸本)9781424474226;9780769540887
Semantic search importance is growing each day as millions of people around the world need to obtain objective and concrete information. Guided-based systems are an alternative to natural language systems regarding the query construction method. However, current guided-based systems perform query validation only at a syntactical level. In this paper we address the semantic validation of queries in order to avoid redundancy and incoherency, therefore preventing the formulation of queries that do not make sense.
Real-time systems are among the most complex softwaresystems to design and construct. This short position paper outlines some of the most pressing research problems that need to be addressed. They are all related to ...
详细信息
Real-time systems are among the most complex softwaresystems to design and construct. This short position paper outlines some of the most pressing research problems that need to be addressed. They are all related to the concept of "temporal cost" of design choices and the ability to easily and directly track those costs during design
暂无评论