ppxscal/embedding_network huggingface dataset:
An MPI Library which uses Polling, Interrupts and Remote Copying for the Fujitsu AP1000+
Venue: Proceedings of the 1996 International Symposium on Parallel Architectures, Algorithms and Networks (1996)

A complete implementation of MPI for the Fujitsu AP1000+ is presented. The library can employ a number of different mechanisms in implementing the send and receive message passing operations. The method of detecting the arrival of new messages can be realized through interrupt-driven and polling techniques. Transferring message data is achieved by either sending the message data directly to the receiver ``in-place'', or using a rendezvous method which allows the use of a fast noncopying nonblocking remote-fetching operation.The MPI library exhibits good performance compared to the native message passing library, and allows the user to decide at runtime which mechanisms will be used in order to achieve the best performance on a per-application basis.
Applying and Monitoring Latency-Based Metacomputing Infrastructures
Authors: Philipp Drum, Günther Rackl
Venue: Proceedings of the 2000 International Workshop on Parallel Processing (2000)

This paper describes the integration of the LSD metacomputing infrastructure and the MIMO MIddleware MOnitor. LSD represents a latency-based approach for distributing jobs implemented as Java threads within a set of given computational resources. The MIMO monitoring system provides a framework and infrastructure for building online tools for distributed, heterogeneous platforms; additionally, a tool development methodology describing how to rapidly and efficiently construct online tools is given. The results of our research demonstrate how both systems can benefit from the integration and how synergy effects can be accomplished. Therefore, our work contributes to an increased acceptance of online monitoring tools for metacomputing platforms by demonstrating their advantageous deployment. This represents a step towards a more efficient development of metacomputing platforms and applications.
Software article: analysis of the Oracle-based epilepsy database with SAS&#x00AE; enterprise guide software
Authors: N. Zoumba, T. Lochmann, C. Ortseifen, T. Bast, G. Ramantani, D. Rating
Venue: Computational Statistics Data Analysis (2003)

In the presurgical epilepsy diagnosis , Department of Pediatrics, University of Heidelberg, a bulk of data is gathered for clinical and scientific purposes on an Oracle based epilepsy database. In order to enable the diverse data analysis, the SAS® Enterprise Guide 1.3 is applied to the SAS® 8.2 software. In the unit for presurgical epilepsy diagnosis in the Department of Pediatric Neurology, University of Heidelberg, an Oracle based epilepsy database was developed as part of a project, to serve as a register of the complex and diverse diagnostic data. The SQL steps required to the analysis couldn't be transposed due to the complexity and flexibility called for. For the evaluation of the Heidelberg epilepsy database the required SAS tables are initially generated from the Oracle database as part of a batch routine process running in the background. Then the SAS Enterprise Guide is started, the required analysis (estimation of standard values and correlations, distribution verifications etc) is run through and the results are given out in RTF, PDF or HTML format.The intuitive user interface of the SAS® Enterprise Guide makes the epilepsy database analysis accessible to users with no experience in SAS i.e. SQL programming. The SAS® Enterprise Guide is called upon by a mouse click on loading the Oracle database and this could motivate users from other epilepsy centres to use the epilepsy database developed at the Department of Pediatrics for their own scientific purposes.
On the Challenges of Business Modeling in Large-Scale Reengineering Projects
Authors: Jon Atle Gulla, Terje Brasethvik
Venue: Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00) (2000)

Modeling existing and future business processes is crucial to the outcome of large-scale reengineering projects. The use of parameterized or standard components does not render business models redundant, but shifts the modeling focus even more from technical aspects to the real-world business processes. In current reengineering projects, however, there is often a lack of coordination of modeling activities and the consistency of conceptual models across project activities can be threatened. There are often several models of the same phenomenon that are used by different people, in different phases, or for different purposes. This paper discusses some of the challenges of business modeling and presents a three-tier model description that explains some of the model variants found in reengineering projects. The findings from a large-scale SAP project in Europe underline the importance of a balanced business model and show how individually tailored conceptual models may hamper the formation of a common understanding of the domain and badly affect the reengineering of the business processes.
A Qualification Platform for Design Reuse
Authors: A. Vörg
Venue: Proceedings of the 3rd International Symposium on Quality Electronic Design (2002)

The application and development of reusable components (Intellectual Property, IP) has become a regular part of modern design practices. The IP provider on the one hand side and the IP integrator (user) on the other side may be in the same company or separate participants in the microelectronic design market. In both cases, the transfer of IP remains a complex and time-consuming task. The qualification of IP gains a significant relevance for successful application and transfer of IP. This paper proposes an IP qualification methodology for an automated quality check that also incorporates current standards. Through embedding of the new concept into the regular design flow, IP transfer comes closer to an easy mix and match of virtual components. The presented approach has been validated during an industrial case study.
Comprehending Reality " Practical Barriers to Industrial Adoption of Software Maintenance Automation
Authors: James R. Cordy
Venue: Proceedings of the 11th IEEE International Workshop on Program Comprehension (2003)

Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software maintenance costs, for the most part adoption of these ideas in industry remains at the experimental prototype stage. In this paper I explore some of the practical reasons for industrial resistance to adoption of software maintenance automation. Based on the experience of six years of software maintenance automation services to the financial industry involving more than 4.5 Gloc of code at Legasys Corporation, I discuss some of the social, technical and business realities that lie at the root of this resistance, outline various Legasys attempts overcome these barriers, and suggest some approaches to software maintenance automation that may lead to higher levels of industrial acceptance in the future.
Contractual Operating System Design and Problems
Authors: Wai-kong Cheuk, Chi-kwong Li, Wai-yip Chan
Venue: Proceedings of the 1st IEEE Computer Society International Workshop on Cluster Computing (1999)

A new paradigm of contractual technology in computing has been proposed. This paradigm provides an alternative in resource management technique on network computing. It states that computer resources usage information should be made explicitly available to entities, which intend to use it. Therefore, a schedule of the usage of resources should be maintained. However, computation resources usage nowadays cannot be predicted. In this paper, a proposal of making computation resources be predictable will be presented.
A Study of Effective Regression Testing in Practice
Authors: W. Eric Wong, Joseph R. Horgan, Saul London, Hira Agrawal Bellcore
Venue: Proceedings of the Eighth International Symposium on Software Reliability Engineering (1997)

The purpose of regression testing is to ensure that changes made to software, such as adding new features or modifying existing features, have not adversely affected features of the software that should not change. Regression testing is usually performed by running some, or all, of the test cases created to test modifications in previous versions of the software. Many techniques have been reported on how to select regression tests so that the number of test cases does not grow too large as the software evolves. Our proposed hybrid technique combines modification, minimization and prioritization-based selection using a list of source code changes and the execution traces from test cases run on previous versions. This technique seeks to identify a representative subset of all test cases that may result in different output behavior on the new software version. We report our experience with a tool called ATAC which implements this technique.
Privacy Enhanced Access Control by SPKI
Authors: Takamichi Saito, Kentaro Umesawa, Hiroshi G. Okuno
Venue: Proceedings of the Seventh International Conference on Parallel and Distributed Systems: Workshops (2000)

In Internet and electronic commerce applications, a user may want to access servers as anonymous with an authorized certificate. In this paper, such privacy-enhanced service scheme is presented by using Simple Public Key Infrastructure (SPKI). A certificate of SPKI carries as few information on clients as possible compared to a certificate of PKIX (Public Key Infrastructure with X.509). After obtaining a certificate issued by an authorized server, a client submits the certificate to the service provider (server) in order to take services associated with the certificate. Then, the provider verifies the submitted certificate and gives permission to the client if verified. A client can delegate a certificate to a third party, so that he/she can access the server instead of the original certificate recipient. The implementation of the proposed certificate-based access control consists of authorized server, issuing agent, client. These are based on SPKI certificate issuer, certificate verifier, access control list management, and delegate mechanism. These subsystems are coded based on SPKI library written in Java.
The state-based CCS semantics for concurrent Z specification
Authors: K. Taguchi, K. Araki
Venue: Proceedings of the 1st International Conference on Formal Engineering Methods (1997)

Presents a formal method which combines the Z notation and value-passing CCS (Calculus of Communicating Systems) for specifying concurrent systems. In order to provide a sound theoretical basis for the method, the state-based semantics for value-passing CCS is given. The main characteristic of the semantics is its ability in describing the evolution of processes and transitions of states simultaneously. We also present a Hennessy-Milner logic based on that semantics, which enables us to express properties such as liveness and safety ascribed both to states and to actions.
Assessing the effectiveness of pen-based input queries
Authors: Stephen Levin, Paul Clough, Mark Sanderson
Venue: Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval (2003)

In this poster, we describe an experiment exploring the effectiveness of a pen based text input device for use in query construction. Standard TREC queries were written, recognised, and subsequently retrieved upon. Comparisons between retrieval effectiveness based on the recognised writing and a typed text baseline were made. On average, effectiveness was 75% of the baseline. Other statistics on the quality and nature of recognition are also reported. .
Phased-In Construction Method of Atos (Autonomous Decentralized Transport Operation Control System)
Authors: Fumio Kitahara, Keiji Kamijou, Yoshiaki Kakurai, Keisuke Bekki, Kazuo Kera, Katsumi Kawano
Venue: Proceedings of the The Fourth International Symposium on Autonomous Decentralized Systems (1999)

ATOS (Autonomous Decentralized Transport Operation Control System) is a high density railway transport management system of an unprecedented scale. The system has been continuously built up in stages after the online operation of its first station commenced in 1994 and successfully operating since then. In this paper; we will discuss phased-in construction techniques by line system. We intend to demonstrate the results of our proving examination of the proposed technology using practical examples. We will also discuss new requirements emerged as the result of improvements made in the network infrastructure for information systems such as information terminals and the extension method there05 This system, now operating with first and second lines, may be termed the largest of such systems to implement the autonomous decentralization system technology.
Retrieval by Shape Population: An Index Tree Approach
Authors: Lifeng Liu, Stan Sclaroff
Venue:  (2001)

Abstract Based on our previous work in deformable shape model-based object detection, a new method is proposed that uses index trees for organizing shape features to support content-based retrieval applications. In the proposed strategy, different shape feature sets can be used in index trees constructed for object detection and shape similarity comparison respectively. There is a direct correspondence between the two shape feature sets. As a result, application-specific features can be obtained efficiently for shape-based retrieval after object detection. A novel approach is proposed that allows retrieval of images based on the population distribution of deformed shapes in each image. Experiments testing these new approaches have been conducted using an image database that contains blood cell micrographs. The precision vs. recall performance measure shows that our method is superior to previous methods.
Organizing relations and emergence
Authors: Stephen Jones
Venue: Proceedings of the eighth international conference on Artificial life (2002)

Emergence is largely used as an explanation: such and such an object -- ranging from atoms through multicellular organisms to consciousness -- is an emergent property of some ensemble of parts. But this leaves an inadequate level of understanding, making the term a representation of something almost mystical. For emergence to be useful an understanding of the mechanisms of emergence must be brought out. This paper proposes a system of orders of organizing relations that are the means by which complex objects "emerge" from the interactions of their constituent parts.
Una proposta per il servizio di Posta Elettronica del CNR
Authors: Laura Abba, Marina Buzzi, Francesco Gennai
Venue:  (1999)

A proposal for the CNR electronic mail service
Constructivism and Program Comprehension Strategies
Authors: Christopher Exton
Venue: Proceedings of the 10th International Workshop on Program Comprehension (2002)

Program comprehension strategies and learning theories are difficult topics in themselves, and the combination of both can provide some interesting observations. Constructivism differs from the traditional learning theories which suggest knowledge exists as something independent of the individual in several ways. One major premise of Constructivism is that we actively construct our knowledge rather than simply absorbing it through repeated practice orredefined steps. Constructivism asserts that there is no knowledge independent of that constructed by the learner, and its construction is a unique experience for each individual. This paper provides an overview of existing Program Comprehension Strategies and contrasts them in relation to the learning theory of Constructivism.
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Authors: Hermann Kopetz, Neeraj Suri
Venue: Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2003)

Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) systems focusing specifically on the role of specification of linking interfaces (LIFs) across components.
Hamiltonian-Laceability of Star Graphs
Authors: Sun-yuan Hsieh, Gen-huey Chen, Chin-wen Ho
Venue: Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (1997)

Suppose G is a bipartite graph with two partite sets of equal size. G is said to be strongly hamiltonlaceable if there is a hamiltonian path between any two vertices that belong to the different partite sets, and there is a path of (maximal) length N-2 between any two vertices that belong to the same partite set, where N is the order of G. The star graph is known to be bipartite. In this paper, we show that the n-dimensional star graph, where n\geq 4 is strongly hamiltonian-laceable.
The ANALYZE Rulebase for Supporting LP Analysis
Authors: Harvey J. Greenberg
Venue:  (1995)

This paper describes how to design rules to support linear programming analysis in three functional categories: Postoptimal sensitivity, debugging, and model management. The ANALYZE system is used to illustrate the behavior of the rules with a variety of examples. Postoptimal sensitivity analysis answers not only the paradigm What if...? question, but also the more frequently asked Why...? question. The latter is static, asking why some solution value is what it is, or why it is not something else. The former is dynamic, asking how the solution changes if some element is changed. Debugging can mean a variety of things; here the focus is on diagnosing an infeasible instance. Model management includes documentation, verification, and validation. Rules are illustrated to provide support in each of these related functions, including some that require reasoning about the linear program''s structure. Another model management function is conduct a periodic review, with one of the goals being to simplify the model, if possible. The last illustration is how to test new rule files, where there is a variety of ways to communicate a result to someone who is not expert in linear programming.
An Approach to Higher Reliability Using Software Components
Authors: Hongxia Jin, P. Santhanam
Venue: Proceedings of the 12th International Symposium on Software Reliability Engineering (2001)

The general belief that component reuse improvessoftware reliability is based on the assumption that theprior usage has exposed the potential software faults. Inreality, this is not necessarily true due to the inherentdifferences in the environments and usage of thecomponent. To achieve a high reliability for acomponent-based software system, we need reliablecomponents that interoperate properly in the newenvironment. In this paper, we present a unifiedapproach to do an evaluation of the interoperablity ofcomponents. This involves a generic and systematiccapture of the component behavior that expresses thevarious assumptions made by the designers aboutcomponents and their interconnections explicitly. Withthe information captured at a semantic level, thisapproach can detect potential mismatches betweencomponents in the new environment and give guidance onhow to resolve the mismatches to fit components in thenew context. The capture of this information in anappropriate format and an automated analysis can showserious exposures to reliability in a component-basedsystem, before it is integrated.
Macromedia Dreamweaver MX Dynamic Applications: Advanced Training from the Source
Authors: Jeffrey Bardzell
Venue:  (2003)

:As a designer himself, author Jeffrey Bardzell is keenly aware of the dilemma you're faced with today: With clients and users demanding more than the static, HTML pages that defined first-generation Web sites, you have no choice but to migrate to dynamic, service based sites. But that means a world of programming, servers, databases, and configuration options you know little about. Not to worry: Dynamic Macromedia Dreamweaver MX: Advanced Training from the Source has you covered. Through the graphics-intensive, self-paced tutorials that form the heart of this popular series, Bardzell takes you through everything you need to know to start designing dynamic, database-driven sites using the powerful new tools available in Macromedia Dreamweaver MX. And unlike other books, this one assumes no prior knowledge of programming or database concepts, terms, and techniques. If you've ever created static HTML pages, you'll be able to dive right in with tutorials that cover configuration options, programming basics, Macromedia Dreamweaver MX's server behaviors, and connecting to databases-all in the context of overhauling a static HTML site into a dynamic, maintainable business application, with code you can use in your own projects!
Prodigy Planning Algorithm
Authors: Eugene Fink, Manuela Veloso
Venue:  (1994)

We present a formal description of the planning algorithm used in the Prodigy4.0 system. The algorithm is based on an interesting combination of backward-chaining planning and simulation of plan execution. The backward-chainer selects goal-relevant operators, and then Prodigy simulates their application to the current state of the world. The system can use different backward-chaining procedures, some of which are presented in the paper.
A Calculus Based on the Agent Place Model
Authors: K Taguchi, K. Araki
Venue: Proceedings of the Second IEEE International Conference on Formal Engineering Methods (1998)

In this paper, we will introduce a new CCS-like process calculus for mobile agents called the AP(Agent and Place)-calculus. The calculus is based on the agent-place model which is a basis for mobility of an agent language Telescript by White. A number of mobile calculi such as $\pi$-calculus, Mobile Ambients have been proposed as foundational calculi which are intended to describe the {\it canonical} model of computation. However the AP-calculus is not developed as a foundational calculus, but rather as a practical formalism for specifying and verifying mobile applications such as electronic commerce. We will present the AP-calculus and its operational semantics and give a simple example specification of an intelligent agent roaming about the network to find out the information in order to demonstrate its applicability.
Scenario Evolution: A Closer View on Relationships
Authors: Karin Breitman, Julio Cesar Sampaio do Prado
Venue: Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00) (2000)

In this article, we show the results of an extensive research on scenario evolution. We investigated twelve case studies spanning over 200 scenarios that contained over 800 episodes. The research aimed at capturing data on scenario evolution in order to confirm previous results and to elicitate the requirements for a scenario evolution support environment. Our findings are organized in a three-tier framework that deals with scenario evolution in the process, product and instance levels. In this article, we concentrate on the product and instance levels showing scenario relationships. Scenarios do not exist in a vacuum; they are connected to other scenarios in an intricate and complex network of relationships. We provide taxonomy for classification and heuristics for the identification of scenario relationships.