Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends existing research ideas to develop a digit...
详细信息
ISBN:
(纸本)1595934731
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends existing research ideas to develop a digital ink annotation tool within an Integrated Development Environment (IDE). The aim is to provide code reviewers with an effective tool for directly commenting on code within the IDE. We describe scenarios where ink annotation would provide benefits, along with requirements and our implementation of the Rich Code Annotation Tool (RCA). Copyright 2006 ACM.
Geometric Algebra (GA) is an algebra that encodes geometry much better than standard techniques, which are mainly based on linear algebra with various extensions. Compared to standard techniques, GA has clearer semant...
详细信息
In this paper, we present a code generator transforming a class of CASL specifications into O'Caml programs. This code generator is dedicated to rapid prototyping of CASL specifications especially in the area of g...
详细信息
Today's research on automated programming tools, a class of up-and-coming technologies that aim to make development faster, better, and less expensive boasts a wide range of ideas. Automated programming is making ...
详细信息
Today's research on automated programming tools, a class of up-and-coming technologies that aim to make development faster, better, and less expensive boasts a wide range of ideas. Automated programming is making its way into the commercial software world slowly now, in small pieces. Microsoft and a host of other companies have much to gain from the production speedups that automated programming technologies could deliver
Parsing algorithm, target language and structure are three interrelated aspects of compiler front-end generators. In this paper, JLUCC - a user-extensible compiler front-end gene- rator is introduced. JLUCC has a nove...
详细信息
ISBN:
(纸本)0889865744
Parsing algorithm, target language and structure are three interrelated aspects of compiler front-end generators. In this paper, JLUCC - a user-extensible compiler front-end gene- rator is introduced. JLUCC has a novel structure, which makes it support multiple parsing algorithms and target languages. Users can develop plug-ins for JLUCC to extend its parsing algorithms and target languages. Compared to traditional compiler front-end generators, JLUCC supports a general parsing algorithm which works on entire class of context-free languages. JLUCC has a direct effect on the development cycle of a compiler. For convenience, users can extend intermediate representations and tree-walkers of the compiler front-ends generated by JLUCC.
A multi-period stochastic programming model with simple recourse was developed to study the asset and liability management of banks under uncertainties based on the domestic economic environment. The uncertainties in ...
详细信息
A multi-period stochastic programming model with simple recourse was developed to study the asset and liability management of banks under uncertainties based on the domestic economic environment. The uncertainties in future asset returns and deposit flows of banks were considered and estimated by using the vector auto-regression method. Furthermore, empirical study on Shanghai Pudong development bank was made and compared to the actual situation of the bank. The results show that strategies achieved by the model can avoid the risks brought by the future uncertainties better, and gain more than the actual situation
In this paper, a programming system for text-editing task that uses both natural language text and direct manipulation is proposed. The system is based on the idea of programming by paraphrasing, which enables users w...
详细信息
In this paper, a programming system for text-editing task that uses both natural language text and direct manipulation is proposed. The system is based on the idea of programming by paraphrasing, which enables users with little knowledge of computer programming to make computer program by linguistic expressions because paraphrasing is usually used as human everyday language communication. The case-based reasoning (CBR) method is used for paraphrasing so that the system can acquire the meanings of unknown linguistic expressions from users. This paper also shows a running example using the system and the result of a subject experiment.
In this paper, we describe the challenges of generating code for the LEGO® RCX microcomputer controller. The compiler improves on the widely used NQC (not-quite C) compiler with the addition of new data types, ...
详细信息
ISBN:
(纸本)1595933158
In this paper, we describe the challenges of generating code for the LEGO® RCX microcomputer controller. The compiler improves on the widely used NQC (not-quite C) compiler with the addition of new data types, procedures, unions, and a math library. Copyright 2006 ACM.
Routing in mobile ad hoc networks (MANETs) where network topology is highly dynamic is not a trivial task. Routing protocols have been profoundly researched but only three of them have reached the RFC status (AODV[7],...
详细信息
Routing in mobile ad hoc networks (MANETs) where network topology is highly dynamic is not a trivial task. Routing protocols have been profoundly researched but only three of them have reached the RFC status (AODV[7], OLSR[5] and TBPRF[6]). On the other hand, the constantly increasing network requirements in terms of bandwidth, robustness, reliability and quality of service for a broad range of multiplatform scenarios demand for fast development and implementation of routing protocols that satisfy specific user and network requirements. However, current practices for protocol development and implementation are costly error-prone and time-consuming, especially when existing knowledge is not properly reused. Generative programming is an attractive solution that makes use of reusable components and is also empowered with the knowledge to automatically assemble them. This paper discusses the design and development of the GP- Pro protocol generator (based on generative programming), for automatic generation of ad hoc routing protocols, according to user requirements expressed by means of a specification language. GP-Pro is designed to be extensible, with the explicit goal of generating a large number of different protocols by different component combinations. GP-Pro addresses the generation of proactive, reactive and position-based routing protocols.
Rapid programming of applications with down-times near zero is a key to automation of small lotsize production. This paper proposes an approach to program by gestures. It combines the visual observation and interpreta...
详细信息
Rapid programming of applications with down-times near zero is a key to automation of small lotsize production. This paper proposes an approach to program by gestures. It combines the visual observation and interpretation of human activities and gestures, mapping to technical tasks and autonomous execution. Automated planning/generation of the robot motion combined with automated correction of pose deviations (induced from the visual observation) allows an execution which is independent of the observation accuracy. The industrial application: bores and internal threads play a critical role as integral parts of connections, bearings, engines, hydraulic and pneumatic systems. The increased industrial requirement for high quality components demands 100% surface inspection of bores (here with diameters from 4 to 50 mm) at small lotsizes. Since state-of-the-art automation is limited to high volumes, the main target is to develop a semi-autonomous system for rapid and flexible inspection featuring new programming. The main focus is on rapid and intuitive programming of robotic systems. The paper describes the implementation and techniques in case of a bore inspection system
暂无评论