ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new co...
详细信息
ISBN:
(数字)9783540464259
ISBN:
(纸本)9783540672623
ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decompositi...
详细信息
A challenge of writing concurrent message-passing programs is ensuring the absence of partial deadlocks, which can cause severe memory leaks in long-running systems. The Go programming language is particularly suscept...
详细信息
This paper presents an overview of the recent systems, that combine inductive logic programming with genetic algorithms. The systems are described and then compared to their design and their behaviour with correct and...
详细信息
This paper presents an overview of the recent systems, that combine inductive logic programming with genetic algorithms. The systems are described and then compared to their design and their behaviour with correct and incorrect training data.
To find and fix bugs in compilers or in other code processing tools, modern language agnostic test case reducers boil the input files down to small bug-triggering versions. To do so they carefully craft lists of poten...
详细信息
ISBN:
(数字)9798331508142
ISBN:
(纸本)9798331508159
To find and fix bugs in compilers or in other code processing tools, modern language agnostic test case reducers boil the input files down to small bug-triggering versions. To do so they carefully craft lists of potentially irrelevant items and apply a list reduction to minimize them. We show that substituting the chosen list reduction algorithm improves the overall reducer runtime without affecting the final file sizes much. In a comparative study we combine 6 renowned test case reducers with 7 established list reductions. Most renowned reducers become faster by switching to another list reduction. We also present three ways to preprocess the crafted lists before the test case reducers pass them to the list reductions. We discuss the conditions for the preprocessings to improve the reducers' speeds even more. On a benchmark of 321 C and SMT-LIB2 compiler bugs, selecting a different list reduction saves up to 74.7% of the runtime. Most test case reducers benefit from such a substitution. Preprocessing saves up to 9.1 additional percentage points. Combining these ideas saves up to 75.2% of the runtime.
We analyse two translations from the synchronous into the asynchronous π-calculus, both without choice, that are often quoted as standard examples of valid encodings, showing that the asynchronous π-calculus is just...
详细信息
The problem of diagnostics of broken rotor bars in an induction (IM) motor based on its current signals is considered. The proposed fault detection technique is based on filtering the current signal in the region arou...
详细信息
ISBN:
(数字)9798331518752
ISBN:
(纸本)9798331518769
The problem of diagnostics of broken rotor bars in an induction (IM) motor based on its current signals is considered. The proposed fault detection technique is based on filtering the current signal in the region around the frequency 7f, where f is the power supply frequency, and further obtaining its envelope using the Hilbert Transform. Scalograms are constructed from the envelopes using a Continuous Wavelet Transform and form a training dataset for the Convolutional Neural Network (CNN) classifier. In real industrial conditions, we have a lack of defective data which is simulated in this paper. It is shown that a CNN model trained on normal data obtained under different motor operating conditions and defective data obtained under one operating mode will poorly detect a defect when changing the operating mode. The reason for this lies in the characteristic defect frequencies change with the change in the operating mode. A data augmentation method based on spectrum distortion is proposed to solve this problem. We distort the spectrum of a real defective signal taking into account its structure and create synthetic data that simulate missing defective signals with different operating conditions. The paper presents the experimental rig and dataset, and shows that the spectral distortion-based augmentation technique significantly improves the performance of the CNN model under conditions of insufficient defective training data.
One of the motivations forthe use of a facility such as the Repository Manager" in an information processing system isto centralize the information needed forthe development of software. What this information is ...
详细信息
One of the motivations forthe use of a facility such as the Repository Manager" in an information processing system isto centralize the information needed forthe development of software. What this information is and how it isinterrelated is defined inthe underlyingdata model. This paper discusses the kindsof information required for software development and offers some suggestions on how the data model should be orga- nized and implemented.
Knowledge-based systemstechnology is a branch of artificial intelligence that deals with the processing of knowledge, as distinct from other branches of artificial intelligence that deal with topics such as robotics, ...
Knowledge-based systemstechnology is a branch of artificial intelligence that deals with the processing of knowledge, as distinct from other branches of artificial intelligence that deal with topics such as robotics, vi- sion systems, and speechrecognition. This paper de- scribes how, over the last decade, knowledge-based systems have evolvedinto a viable technology for building commercial data processing applications, and how increasing attention has beenpaid to incorporat- ing these applications into commercialdata process- ing environments.A logical conclusion of this direction is the capability to build knowledgebased applications that are full systemsApplication Architecture" (SAA") applications. As this conclusion is approached, a re- quirementemerges that the knowledgebased develop- ment process be integrated with the application devel- opment environment provided bythe other SAA lan- guage andservicecomponents. Theintegrated environment mustprovide high customer productivity in the development ofapplications that use knowledge based technology, and mustsupport a spectrum of developmentscenarios, ranging from the most basic to those involving complex applications and large de- velopment teams. This paperexploreshow knowledge- based products can address theserequirements by integrating their development facilities with ADlCycIe".
This paper describes some techniquesthat can be used for Cross SystemProductlApplication Develop- ment (CSPJAD)application design. CSPIADis an appli- cation developmenttool for professionalprogrammers. A well-designed...
详细信息
This paper describes some techniquesthat can be used for Cross SystemProductlApplication Develop- ment (CSPJAD)application design. CSPIADis an appli- cation developmenttool for professionalprogrammers. A well-designedapplication is obtainedby using proven principles of structured analysis, structured de- sign, and structuredprogramming. Anunderstanding of theseprinciples and the application definition con- structs provided by Cross SystemProductlApplication Development is necessary for the CSPIADapplication *** design for CSPIADis accom- plished by using a combination of techniques for data design, application design, andapplication program design. For eachof these design techniques thereex- ist formal, accepted practices, and methodologiesthat may be used. Thesetechniques are described,and methods that have provensuccessfulfor designing CSP/AD applications are presented.
暂无评论