Parallel computing is primarily used in supercomputer environment with many available application tools. Since the early 1990s, there has been an increasing trend to move away from expensive and specialized parallel s...
详细信息
object-orientedprogramming languages provide a rich set of features that provide significant software engineering benefits. the increased productivity provided by these features comes at a justifiable cost in a more ...
详细信息
object-orientedprogramming languages provide a rich set of features that provide significant software engineering benefits. the increased productivity provided by these features comes at a justifiable cost in a more sophisticated runtime system whose responsibility is to implement these features efficiently. However, the virtualization introduced by this sophistication provides a significant challenge to understanding complete system performance, not found in traditionally compiled languages, such as C or C++. thus, understanding system performance of such a system requires profiling that spans all levels of the execution stack, such as the hardware, operating system, virtual machine, and application. In this work, we suggest an approach, called vertical profiling, that enables this level of understanding. We illustrate the efficacy of this approach by providing deep understandings of performance problems of Java applications run on a VM with vertical profiling support. By incorporating vertical profiling into a programming environment, the programmer will be able to understand how their program interacts withthe underlying abstraction levels, such as application server, VM, operating system, and hardware.
the proceedings contain 15 papers. the special focus in this conference is on Logic programming. the topics include: XML transformations based on logic programming;a PROLOG tool for slicing source code;combining domai...
the proceedings contain 15 papers. the special focus in this conference is on Logic programming. the topics include: XML transformations based on logic programming;a PROLOG tool for slicing source code;combining domain splitting with network decomposition for application in model-based engineering;towards an object-oriented modeling of constraint problems;expressing interaction in combinatorial auction through social integrity constraints;level mapping characterizations of selector generated models for logic programs;truth and knowledge fixpoint semantics for many-valued logic programming;impact- and cost-oriented propagator scheduling for faster constraint propagation;static and dynamic variable sorting strategies for backtracking-based search algorithms;the CHR-based implementation of a system for generation and confirmation of hypotheses;guard simplification in CHR programs;analysing the CHR implementation of union-find;DB CSPA framework and algorithms for applying constraint solving within relational databases;meta-s - combining solver cooperation and programming languages and CMODELS for tight disjunctive logic programs.
this poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hardware performance monitors (HPMs) to th...
详细信息
ISBN:
(纸本)1581138334
this poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hardware performance monitors (HPMs) to the methods in the Java application's source code. We present a detailed case study showing that linking microprocessor-level performance characteristics to the source code is helpful for identifying performance bottlenecks and their causes. In addition, we relate our work to a previously proposed time-based HPM profiling framework.
the proceedings contain 15 papers. the special focus in this conference is on Logic programming. the topics include: XML transformations based on logic programming;a PROLOG tool for slicing source code;combining domai...
the proceedings contain 15 papers. the special focus in this conference is on Logic programming. the topics include: XML transformations based on logic programming;a PROLOG tool for slicing source code;combining domain splitting with network decomposition for application in model-based engineering;towards an object-oriented modeling of constraint problems;expressing interaction in combinatorial auction through social integrity constraints;level mapping characterizations of selector generated models for logic programs;truth and knowledge fixpoint semantics for many-valued logic programming;impact- and cost-oriented propagator scheduling for faster constraint propagation;static and dynamic variable sorting strategies for backtracking-based search algorithms;the CHR-based implementation of a system for generation and confirmation of hypotheses;guard simplification in CHR programs;analysing the CHR implementation of union-find;DB CSPA framework and algorithms for applying constraint solving within relational databases;meta-s - combining solver cooperation and programming languages and CMODELS for tight disjunctive logic programs.
Runtime verification is a special form of runtime testing, employing formal methods and languages. In this work, we utilize next-time free linear-time temporal logic (LTL\X) as formal framework. the discipline serves ...
详细信息
ISBN:
(纸本)1581138334
Runtime verification is a special form of runtime testing, employing formal methods and languages. In this work, we utilize next-time free linear-time temporal logic (LTL\X) as formal framework. the discipline serves the purpose of asserting certain design-time assumptions about object-oriented (OO) entities such as objects, methods, and so forth. In this paper we propose a linear-time logic over join-points [4], and introduce a lightweight runtime verification tool based on this logic, J2SE 5 metadata [3] and an AspectJ-based [2] runtime backend. Implementations have been proposed so far for imperative and functional languages [5]. To our knowledge our approach is the first to allow addressing of entire sets of states, also over subclass boundaries, thus exploiting the OO nature.
Capturing the evolution of logical objects and structures in a software project is crucial to the development of a high-quality software. this research demonstration presents an object-oriented approach to managing th...
详细信息
ISBN:
(纸本)1581138334
Capturing the evolution of logical objects and structures in a software project is crucial to the development of a high-quality software. this research demonstration presents an object-oriented approach to managing the evolution of system objects at the logical level. Keys to our approach are its extensible, logical, and object-oriented system model and structure versioning framework in which types of logical objects and structures in a software system are extended from a small set of the system model's basic entities, allowing them to be versioned in a fine-grained manner and independent of the physical file structure. Changes to all logical objects and structures are captured and related to each other in a tightly connected and cohesive manner via the Molhado product versioning software configuration management (SCM) infrastructure. We also demonstrate our object-oriented SCM approach by applying it in different development paradigms such as UML-based object-oriented software development, architecture-based software development, and Web application development.
Programmers tend to understand programs by thinking of concrete examples. Example Centric programming seeks to add IDE support for examples throughout the process of programming. Instead of programmers interpreting ex...
详细信息
ISBN:
(纸本)1581138334
Programmers tend to understand programs by thinking of concrete examples. Example Centric programming seeks to add IDE support for examples throughout the process of programming. Instead of programmers interpreting examples in their head, the examples are written down and the IDE interprets them automatically. Advanced UI techniques are used to present the results closely integrated withthe code. Traditionally distinct programming tools (the editor, Read-Eval-Print-Loop, debugger, and test runner) are unified into a single tool that might be called an example-enlightened editor. this is expected to benefit a wide spectrum of programming activities, for both novice and experienced programmers. Some novel methods for testing and development are made possible. In the longer term, example centrism has implications for the design of future programming languages. A prototype has been implemented for Java in Eclipse.
It has been a constant aim of computer scientists, programming language designers and practitioners to raise the level of programming abstractions and bring them as close to the user's natural context as possible....
详细信息
Realistically, many rapidly evolving systems eventually require extensive restructuring in order to effectively support further evolution. Not surprisingly, these overhauls reverberate throughout the system. though se...
详细信息
暂无评论