the proceedings contain 79 papers. the topics discussed include: spatial reasoning for robot navigation using the Helmholtz-hodge decomposition of omnidirectional optical flow;smart wheelchair guidance using optical f...
ISBN:
(纸本)9781424446988
the proceedings contain 79 papers. the topics discussed include: spatial reasoning for robot navigation using the Helmholtz-hodge decomposition of omnidirectional optical flow;smart wheelchair guidance using optical flow;a new inconsistency measure for linear systems and two applications in motion analysis;real-time correlogram tracking for airborne traffic surveillance;application of tabu search optimization in real-time video tracking;robust rigid registration for image matching with arbitrary extrinsic photometric noise;facial expressions using a quadratic deformation model: analysis and synthesis;face recognition from single sample based on human face perception;towards a generalized color image segmentation for kiwifruit detection;stereo accuracy for collision avoidance;multiclass object classification for computer vision using linear genetic programming;and development and characterization of an easily configurable range imaging system.
In recent years, the demand for computational power in data mining applications has increased due to rapidly growing data sets. As a consequence, standard algorithms need to be parallelized for fast processing of the ...
详细信息
ISBN:
(纸本)9781605585390
In recent years, the demand for computational power in data mining applications has increased due to rapidly growing data sets. As a consequence, standard algorithms need to be parallelized for fast processing of the generated data sets. Unfortunately, most approaches for parallelizing algorithms require a careful software design and a deep knowledge about thread-safe programming. As a consequence they are hardly applicable for rapid prototyping of new algorithms. We outline the process of multi-core parallelization using Clojure, a new functional programming language utilizing the Java Virtual Machine (JVM) that does not require knowledge of thread-safe programming. We provide some benchmark results for our multi-core algorithm to demonstrate its computational power. the rationale behind Clojure is combining the industry-standard JVM with functional programming, immutable data structures, and a built-in concurrency support via software transactional memory. this makes it a suitable tool for parallelization and rapid prototyping in many areas. In this case study we present a multi-core parallel implementation of the k-means cluster algorithm. the multi-core algorithm shows an increase in computation speed up to a factor of 10 compared to R or network based parallelization. Copyright 2009 ACM.
object remoting middleware greatly facilitates creating distributed, object-oriented systems. However, developers face many situations in which a middleware's invocation and message processing architecture fails t...
详细信息
ISBN:
(纸本)9781446693636
object remoting middleware greatly facilitates creating distributed, object-oriented systems. However, developers face many situations in which a middleware's invocation and message processing architecture fails to fully support all their requirements. this problem is caused, for instance, by limitations in realising certain invocation styles (e.g., one-way and two-way conversations) on top of a shared processing infrastructure, in adding extensions to invocation handling (i.e., add-on services such as security and inspection), and in bypassing selected steps in the invocation handling to balance resource consumption and invocation performance. Often, these limitations are caused by design and implementation decisions taken early when crafting the middleware framework. To better explain the needed decision making, and help developers to apply adaptations or guide the selection of alternatives, we present a pattern language that captures the essentials of invocation and message processing in object remoting middleware. We also outline instantiations of the patterns and their relationships in existing middleware frameworks.
this paper describes the MulTra project, aiming at the development of an efficient multilingual translation technology based on an abstract and generic linguistic model as well as on object-oriented software design. I...
详细信息
Following last four years' RAIM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'08 workshop was a successful and popular event. As its name implies, the w...
详细信息
ISBN:
(纸本)9783642020469
Following last four years' RAIM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'08 workshop was a successful and popular event. As its name implies, the workshop's focus was oil the application of reflective, aspect-oriented and data mining techniques to the broad field of software evolution. Topics and discussions at;the workshop included mechanisms for supporting software evolution, technological limits of the aspect-oriented and reflective approaches to software evolution and tools devoted to software evolution. the workshop's main goal was to bring together researchers working in the field of software evolution with a, particular interest in reflection., aspect-orientedprogramming and meta-data. the workshop was organized as a full day meeting, partly devoted to presentation of submitted position papers and partly devoted to panel discussions about, the presented topics and other interesting issues in the field. Ill this way, the workshop allowed participants to get acquainted with each other's work, and stimulated collaboration. We hope this helped participants in improving their ideas and the quality of their future publications. the workshop's proceedings, including all accepted position papers call be downloaded from the workshop's web site and a post workshop proceeding, including all extension of the accepted paper is planned to be published by the University of Magdeburg. In this report, we provide a session-by-session overview of the workshop, and then present, our opinions about trend, in software evolution.
A caller must satisfy the callee's precondition-that is, reach a state in which the callee may be called. Preconditions describe the state that needs to be reached, but not how to reach it. We combine static analy...
详细信息
ISBN:
(纸本)9780769538914
A caller must satisfy the callee's precondition-that is, reach a state in which the callee may be called. Preconditions describe the state that needs to be reached, but not how to reach it. We combine static analysis with model checking to mine Computation Tree Logic (CTL) formulas that describe the operations a parameter goes through: "In parseProperties (String xml), the parameter xml normally stems from getProperties()." Such operational preconditions can be learned from program code, and the code can be checked for their violations. Applied to ASPECTJ, our TIKANGA prototype found 189 violations of operational preconditions, uncovering 9 unique defects and 36 unique code smells-with 44% true positives in the 50 top-ranked violations.
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice because of the large number of annota...
详细信息
ISBN:
(纸本)9780769538914
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice because of the large number of annotations that they require. A tool that infers effects automatically can make effect systems practical. We present an effect inference algorithm and an Eclipse plug-in, DPJIZER, which alleviate the burden of writing effect annotations for a language called Deterministic Parallel Java (DPJ). the key novel feature of the algorithm is the ability to infer effects on nested heap regions. Besides DPJ, we also illustrate how the algorithm can be used for a different effect system based on object ownership. Our experience shows that DPJIZER is both useful and effective: (i) inferring effect annotations automatically saves significant programming burden;and (ii) inferred effects are more precise than those written manually, and are fine-grained enough to enable the compiler to prove determinism of the program.
Formal specifications are used to identify programming errors, verify the correctness of programs, and as documentation. Unfortunately, producing them is error-prone and time-consuming, so they are rarely used in prac...
详细信息
ISBN:
(纸本)9780769538914
Formal specifications are used to identify programming errors, verify the correctness of programs, and as documentation. Unfortunately, producing them is error-prone and time-consuming, so they are rarely used in practice. Inferring specifications from a running application is a promising solution. However, to be practical, such an approach requires special techniques to treat large amounts of runtime data. We present a scalable dynamic analysis that infers specifications of correct method call sequences on multiple related objects. It preprocesses method traces to identify small sets of related objects and method calls which can be analyzed separately. We implemented our approach and applied the analysis to eleven real-world applications and more than 240 million runtime events. the experiments show the scalability of our approach. Moreover, the generated specifications describe correct and typical behavior, and match existing API usage documentation.
暂无评论